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()125 __debug_save_spe(host_data_ptr(host_debug_state.pmscr_el1)); in __debug_save_host_buffers_nvhe()129 __debug_save_brbe(host_data_ptr(host_debug_state.brbcr_el1)); in __debug_save_host_buffers_nvhe()143 __debug_restore_spe(*host_data_ptr(host_debug_state.pmscr_el1)); in __debug_restore_host_buffers_nvhe()145 __debug_restore_brbe(*host_data_ptr(host_debug_state.brbcr_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()
434 *host_data_ptr(host_debug_state.mdcr_el2) = read_sysreg(mdcr_el2); in __activate_traps_common()457 write_sysreg(*host_data_ptr(host_debug_state.mdcr_el2), mdcr_el2); in __deactivate_traps_common()
748 } host_debug_state; member
Completed in 12 milliseconds