Searched refs:__debug_switch_to_host_common (Results 1 – 2 of 2) sorted by relevance
20 __debug_switch_to_host_common(vcpu); in __debug_switch_to_host()
152 __debug_switch_to_host_common(vcpu); in __debug_switch_to_host()