Searched refs:guest_debug_preserved (Results 1 – 2 of 2) sorted by relevance
49 vcpu->arch.guest_debug_preserved.mdscr_el1 = vcpu_sys_reg(vcpu, MDSCR_EL1); in save_guest_debug_regs()52 vcpu->arch.guest_debug_preserved.mdscr_el1); in save_guest_debug_regs()57 vcpu_sys_reg(vcpu, MDSCR_EL1) = vcpu->arch.guest_debug_preserved.mdscr_el1; in restore_guest_debug_regs()
264 } guest_debug_preserved; member