Searched refs:test_vgic_then_vcpus (Results 1 – 1 of 1) sorted by relevance
334 static void test_vgic_then_vcpus(uint32_t gic_dev_type) in test_vgic_then_vcpus() function721 test_vgic_then_vcpus(gic_dev_type); in run_tests()