__debug_switch_to_guest 72 arch/arm64/include/asm/kvm_hyp.h void __debug_switch_to_guest(struct kvm_vcpu *vcpu); __debug_switch_to_guest 624 arch/arm64/kvm/hyp/switch.c __debug_switch_to_guest(vcpu); __debug_switch_to_guest 693 arch/arm64/kvm/hyp/switch.c __debug_switch_to_guest(vcpu);