Searched refs:test_disable_default_vgic (Results 1 – 8 of 8) sorted by relevance
106 test_disable_default_vgic(); in main()
213 test_disable_default_vgic(); in main()
267 test_disable_default_vgic(); in main()
1044 test_disable_default_vgic(); in main()
997 test_disable_default_vgic(); in main()
309 void test_disable_default_vgic(void);
697 void test_disable_default_vgic(void) in test_disable_default_vgic() function