Searched refs:test_disable_default_vgic (Results 1 – 4 of 4) sorted by relevance
166 test_disable_default_vgic(); in main()
1043 test_disable_default_vgic(); in main()
305 void test_disable_default_vgic(void);
701 void test_disable_default_vgic(void) in test_disable_default_vgic() function