Searched refs:gic_dev_type (Results 1 – 2 of 2) sorted by relevance
20 u32 gic_dev_type; member99 static void test_vgic_v5_ppis(u32 gic_dev_type) in test_vgic_v5_ppis() argument107 v.gic_dev_type = gic_dev_type; in test_vgic_v5_ppis()110 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in test_vgic_v5_ppis()176 int test_kvm_device(u32 gic_dev_type) in test_kvm_device() argument189 ret = __kvm_test_create_device(v.vm, gic_dev_type); in test_kvm_device()192 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in test_kvm_device()194 ret = __kvm_create_device(v.vm, gic_dev_type); in test_kvm_device()202 void run_tests(u32 gic_dev_type) in run_tests() argument205 test_vgic_v5_ppis(gic_dev_type); in run_tests()
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() argument80 v.gic_dev_type = gic_dev_type; in vm_gic_create_with_vcpus()82 v.gic_fd = kvm_create_device(v.vm, 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() argument91 v.gic_dev_type = gic_dev_type; in vm_gic_create_barebones()93 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in vm_gic_create_barebones()150 rdist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_redist_region in subtest_dist_rdist()152 dist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_dist_region in subtest_dist_rdist()335 static void test_vgic_then_vcpus(u32 gic_dev_type) in test_vgic_then_vcpus() argument[all …]