Searched refs:guest_dbg (Results 1 – 1 of 1) sorted by relevance
176 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_guest() local191 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_guest()194 __debug_restore_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_guest()202 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_host() local213 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_host()215 __debug_save_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_host()
