Searched defs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
29 uint32_t gic_dev_type; member73 static struct vm_gic vm_gic_create_with_vcpus(uint32_t gic_dev_type, in vm_gic_create_with_vcpus()86 static struct vm_gic vm_gic_create_barebones(uint32_t gic_dev_type) in vm_gic_create_barebones()334 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus()355 static void test_vcpus_then_vgic(uint32_t gic_dev_type) in test_vcpus_then_vgic()681 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device()718 void run_tests(uint32_t gic_dev_type) in run_tests()