Searched defs:gic_dev_type (Results 1 – 2 of 2) sorted by relevance
20 u32 gic_dev_type; member 176 int test_kvm_device(u32 gic_dev_type) in test_kvm_device() argument 202 void run_tests(u32 gic_dev_type) in run_tests() argument 99 test_vgic_v5_ppis(u32 gic_dev_type) test_vgic_v5_ppis() argument [all...]
30 u32 gic_dev_type; member74 static struct vm_gic vm_gic_create_with_vcpus(u32 gic_dev_type, in vm_gic_create_with_vcpus()87 static struct vm_gic vm_gic_create_barebones(u32 gic_dev_type) in vm_gic_create_barebones()335 static void test_vgic_then_vcpus(u32 gic_dev_type) in test_vgic_then_vcpus()356 static void test_vcpus_then_vgic(u32 gic_dev_type) in test_vcpus_then_vgic()720 int test_kvm_device(u32 gic_dev_type) in test_kvm_device()971 void run_tests(u32 gic_dev_type) in run_tests()