Symbol: __debug_switch_to_host
arch/arm64/include/asm/kvm_hyp.h
108
void __debug_switch_to_host(struct kvm_vcpu *vcpu);
arch/arm64/kvm/hyp/nvhe/switch.c
337
__debug_switch_to_host(vcpu);
arch/arm64/kvm/hyp/vhe/switch.c
611
__debug_switch_to_host(vcpu);