Searched refs:host_debug_state (Results 1 – 2 of 2) sorted by relevance
183 __debug_save_spe_nvhe(&vcpu->arch.host_debug_state.pmscr_el1); in __debug_switch_to_guest()190 host_dbg = &vcpu->arch.host_debug_state.regs; in __debug_switch_to_guest()205 __debug_restore_spe_nvhe(vcpu->arch.host_debug_state.pmscr_el1); in __debug_switch_to_host()212 host_dbg = &vcpu->arch.host_debug_state.regs; in __debug_switch_to_host()
290 } host_debug_state; member
