Symbol: __debug_switch_to_guest
arch/arm64/include/asm/kvm_hyp.h
107
void __debug_switch_to_guest(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/nvhe/switch.c
308
__debug_switch_to_guest(vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
596
__debug_switch_to_guest(vcpu);