Searched refs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
31 uint32_t gic_dev_type; member81 v.gic_dev_type = gic_dev_type; in vm_gic_create_with_vcpus()83 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in vm_gic_create_with_vcpus()92 v.gic_dev_type = gic_dev_type; in vm_gic_create_barebones()94 v.gic_fd = kvm_create_device(v.vm, gic_dev_type); in vm_gic_create_barebones()683 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device() argument720 void run_tests(uint32_t gic_dev_type) in run_tests() argument722 test_vcpus_then_vgic(gic_dev_type); in run_tests()723 test_vgic_then_vcpus(gic_dev_type); in run_tests()725 if (VGIC_DEV_IS_V2(gic_dev_type)) in run_tests()[all …]