__debug_switch_to_host   73 arch/arm64/include/asm/kvm_hyp.h void __debug_switch_to_host(struct kvm_vcpu *vcpu);
__debug_switch_to_host  646 arch/arm64/kvm/hyp/switch.c 	__debug_switch_to_host(vcpu);
__debug_switch_to_host  723 arch/arm64/kvm/hyp/switch.c 	__debug_switch_to_host(vcpu);