fixup_guest_exit 633 arch/arm64/kvm/hyp/switch.c } while (fixup_guest_exit(vcpu, &exit_code)); fixup_guest_exit 702 arch/arm64/kvm/hyp/switch.c } while (fixup_guest_exit(vcpu, &exit_code));