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()323 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus()344 static void test_vcpus_then_vgic(uint32_t gic_dev_type) in test_vcpus_then_vgic()636 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device()673 void run_tests(uint32_t gic_dev_type) in run_tests()