Searched defs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
31 uint32_t gic_dev_type; member75 static struct vm_gic vm_gic_create_with_vcpus(uint32_t gic_dev_type, in vm_gic_create_with_vcpus()88 static struct vm_gic vm_gic_create_barebones(uint32_t gic_dev_type) in vm_gic_create_barebones()336 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus()357 static void test_vcpus_then_vgic(uint32_t gic_dev_type) in test_vcpus_then_vgic()683 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device()720 void run_tests(uint32_t gic_dev_type) in run_tests()