Searched refs: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() argument79 v.gic_dev_type = gic_dev_type; in vm_gic_create_with_vcpus()81 v.gic_fd = kvm_create_device(v.vm, 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() argument90 v.gic_dev_type = gic_dev_type; in vm_gic_create_barebones()92 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in vm_gic_create_barebones()149 rdist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_redist_region in subtest_dist_rdist()151 dist = VGIC_DEV_IS_V3(v->gic_dev_type) ? gic_v3_dist_region in subtest_dist_rdist()334 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus() argument[all …]