Searched refs:guest_dbg (Results 1 – 1 of 1) sorted by relevance
191 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_guest() local199 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_guest()202 __debug_restore_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_guest()210 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_host() local219 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_host()221 __debug_save_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_host()