Searched refs:test_vcpus_then_vgic (Results 1 – 1 of 1) sorted by relevance
357 static void test_vcpus_then_vgic(uint32_t gic_dev_type) in test_vcpus_then_vgic() function722 test_vcpus_then_vgic(gic_dev_type); in run_tests()