Searched refs:guest_dbg (Results 1 – 1 of 1) sorted by relevance
133 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_guest_common() local141 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_guest_common()144 __debug_restore_state(guest_dbg, guest_ctxt); in __debug_switch_to_guest_common()152 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_host_common() local160 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_host_common()162 __debug_save_state(guest_dbg, guest_ctxt); in __debug_switch_to_host_common()