Searched refs:gic_dev_type (Results 1 – 1 of 1) sorted by relevance
29 uint32_t gic_dev_type; member79 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()90 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()681 int test_kvm_device(uint32_t gic_dev_type) in test_kvm_device() argument718 void run_tests(uint32_t gic_dev_type) in run_tests() argument720 test_vcpus_then_vgic(gic_dev_type); in run_tests()721 test_vgic_then_vcpus(gic_dev_type); in run_tests()723 if (VGIC_DEV_IS_V2(gic_dev_type)) in run_tests()[all …]