Searched refs:host_debug_state (Results 1 – 2 of 2) sorted by relevance
164 __debug_save_spe_nvhe(&vcpu->arch.host_debug_state.pmscr_el1); in __debug_switch_to_guest()171 host_dbg = &vcpu->arch.host_debug_state.regs; in __debug_switch_to_guest()186 __debug_restore_spe_nvhe(vcpu->arch.host_debug_state.pmscr_el1); in __debug_switch_to_host()193 host_dbg = &vcpu->arch.host_debug_state.regs; in __debug_switch_to_host()
253 } host_debug_state; member
