Searched refs:guest_dbg (Results 1 – 1 of 1) sorted by relevance
157 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_guest() local172 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_guest()175 __debug_restore_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_guest()183 struct kvm_guest_debug_arch *guest_dbg; in __debug_switch_to_host() local194 guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr); in __debug_switch_to_host()196 __debug_save_state(vcpu, guest_dbg, guest_ctxt); in __debug_switch_to_host()
