guest_dbg         176 arch/arm64/kvm/hyp/debug-sr.c 	struct kvm_guest_debug_arch *guest_dbg;
guest_dbg         191 arch/arm64/kvm/hyp/debug-sr.c 	guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr);
guest_dbg         194 arch/arm64/kvm/hyp/debug-sr.c 	__debug_restore_state(vcpu, guest_dbg, guest_ctxt);
guest_dbg         202 arch/arm64/kvm/hyp/debug-sr.c 	struct kvm_guest_debug_arch *guest_dbg;
guest_dbg         213 arch/arm64/kvm/hyp/debug-sr.c 	guest_dbg = kern_hyp_va(vcpu->arch.debug_ptr);
guest_dbg         215 arch/arm64/kvm/hyp/debug-sr.c 	__debug_save_state(vcpu, guest_dbg, guest_ctxt);