Symbol: __vcpu_debug_regs
arch/arm64/kvm/hyp/include/hyp/debug-sr.h
147
guest_dbg = __vcpu_debug_regs(vcpu);
arch/arm64/kvm/hyp/include/hyp/debug-sr.h
166
guest_dbg = __vcpu_debug_regs(vcpu);