Searched defs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
30 uint32_t gic_dev_type; member 74 static struct vm_gic vm_gic_create_with_vcpus(uint32_t gic_dev_type, in vm_gic_create_with_vcpus() argument 87 static struct vm_gic vm_gic_create_barebones(uint32_t gic_dev_type) in vm_gic_create_barebones() argument 335 test_vgic_then_vcpus(uint32_t gic_dev_type) test_vgic_then_vcpus() argument 356 test_vcpus_then_vgic(uint32_t gic_dev_type) test_vcpus_then_vgic() argument 720 test_kvm_device(uint32_t gic_dev_type) test_kvm_device() argument 971 run_tests(uint32_t gic_dev_type) run_tests() argument [all...]