Searched refs:guest_setup_gic (Results 1 – 1 of 1) sorted by relevance
98 static void guest_setup_gic(void) in guest_setup_gic() function125 guest_setup_gic(); in guest_code()