Searched refs:__trace_switch_to_guest (Results 1 – 1 of 1) sorted by relevance
74 static void __trace_switch_to_guest(void) in __trace_switch_to_guest() function102 __trace_switch_to_guest(); in __debug_save_host_buffers_nvhe()