Searched refs:host_debug_state (Results 1 – 4 of 4) sorted by relevance
80 __trace_do_switch(host_data_ptr(host_debug_state.trfcr_el1), in __trace_switch_to_guest()92 *host_data_ptr(host_debug_state.trfcr_el1)); in __trace_switch_to_host()99 __debug_save_spe(host_data_ptr(host_debug_state.pmscr_el1)); in __debug_save_host_buffers_nvhe()113 __debug_restore_spe(*host_data_ptr(host_debug_state.pmscr_el1)); in __debug_restore_host_buffers_nvhe()
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()
257 *host_data_ptr(host_debug_state.mdcr_el2) = read_sysreg(mdcr_el2); in __activate_traps_common()283 write_sysreg(*host_data_ptr(host_debug_state.mdcr_el2), mdcr_el2); in __deactivate_traps_common()
690 } host_debug_state; member