Searched refs:host_debug_state (Results 1 – 2 of 2) sorted by relevance
146 host_dbg = host_data_ptr(host_debug_state.regs); in __debug_switch_to_guest_common()165 host_dbg = host_data_ptr(host_debug_state.regs); in __debug_switch_to_host_common()
804 } host_debug_state; member