655def nativeCheckpointRestore =
656 (lambda unrestricted layout : (family NativeCheckpointLayout) .
657 (lambda unrestricted path : (family NativePhysicalOperand) .
658 (lambda unrestricted descriptor : Nat .
659 (lambda unrestricted slot : Nat .
660 (lambda unrestricted tail : (family NativePhysicalCommands) .
661 (nativeFileOpen
662 path
663 nativeFileReadFlags
664 descriptor
665 slot
666 b"checkpoint-open"
667 (nativeFileRead
668 (nativeLaunchRecipeSlotValue descriptor)
669 (nativeMemoryState (nativeCheckpointBase layout))
670 (nativeCheckpointFileBytes layout)
671 (nativeLaunchRecipeImmediate 0)
672 slot
673 b"checkpoint-read"
674 (nativeFileRequireEOF
675 (nativeLaunchRecipeSlotValue descriptor)
676 (nativeMemoryState (nativeCheckpointProbeAt layout))
677 (nativeCheckpointFileBytes layout)
678 slot
679 (nativeFileClose
680 (nativeLaunchRecipeSlotValue descriptor)
681 slot
682 b"checkpoint-read-close"
683 (nativeCheckpointValidate layout slot tail))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.