Searched refs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
30 uint32_t gic_dev_type; member68 v.gic_dev_type = gic_dev_type; in vm_gic_create_with_vcpus()70 v.gic_fd = kvm_create_device(v.vm, gic_dev_type, false); in vm_gic_create_with_vcpus()319 v = vm_gic_create_with_vcpus(gic_dev_type, 1); in test_vgic_then_vcpus()339 v = vm_gic_create_with_vcpus(gic_dev_type, NR_VCPUS); in test_vcpus_then_vgic()644 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device() argument665 kvm_create_device(v.vm, gic_dev_type, true); in test_kvm_device()682 void run_tests(uint32_t gic_dev_type) in run_tests() argument684 test_vcpus_then_vgic(gic_dev_type); in run_tests()685 test_vgic_then_vcpus(gic_dev_type); in run_tests()[all …]
Completed in 5 milliseconds