Searched refs:test_disable_default_vgic (Results 1 – 6 of 6) sorted by relevance
106 test_disable_default_vgic(); in main()
166 test_disable_default_vgic(); in main()
1043 test_disable_default_vgic(); in main()
997 test_disable_default_vgic(); in main()
309 void test_disable_default_vgic(void);
698 void test_disable_default_vgic(void) in test_disable_default_vgic() function