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));