Searched refs:guest_debug_preserved (Results 1 – 2 of 2) sorted by relevance
40 vcpu->arch.guest_debug_preserved.mdscr_el1 = val; in save_guest_debug_regs()43 vcpu->arch.guest_debug_preserved.mdscr_el1); in save_guest_debug_regs()48 u64 val = vcpu->arch.guest_debug_preserved.mdscr_el1; in restore_guest_debug_regs()
342 } guest_debug_preserved; member