Searched refs:guest_debug_preserved (Results 1 – 2 of 2) sorted by relevance
51 vcpu->arch.guest_debug_preserved.mdscr_el1 = val; in save_guest_debug_regs()54 vcpu->arch.guest_debug_preserved.mdscr_el1); in save_guest_debug_regs()59 u64 val = vcpu->arch.guest_debug_preserved.mdscr_el1; in restore_guest_debug_regs()
274 } guest_debug_preserved; member
