Searched defs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
30 uint32_t gic_dev_type; member74 static struct vm_gic vm_gic_create_with_vcpus(uint32_t gic_dev_type, in vm_gic_create_with_vcpus()87 static struct vm_gic vm_gic_create_barebones(uint32_t gic_dev_type) in vm_gic_create_barebones()335 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus()356 static void test_vcpus_then_vgic(uint32_t gic_dev_type) in test_vcpus_then_vgic()720 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device()971 void run_tests(uint32_t gic_dev_type) in run_tests()