Resume initializes a fresh slot from admitted runtime state. It does not
authorize reinitializing a live slot or choosing a peer-supplied epoch.
85def nativeFrameInitializeRound =
86 (lambda unrestricted layout : (family RegionFrameLayout) .
87 (lambda unrestricted epoch : (family NativePhysicalOperand) .
88 (lambda unrestricted version : (family NativePhysicalOperand) .
89 (lambda unrestricted tail : (family NativePhysicalCommands) .
90 (nativeFrameInitialize
91 layout
92 (nativeLaunchRecipeCommand
93 (constructor
94 NativePhysicalOperation
95 NativePhysicalStoreWord64
96 (frameNativeState (frameExpectedEpochAt layout))
97 epoch)
98 b"frame-initialize-epoch"
99 (nativeLaunchRecipeCommand
100 (constructor
101 NativePhysicalOperation
102 NativePhysicalStoreWord64
103 (frameNativeState (frameExpectedVersionAt layout))
104 version)
105 b"frame-initialize-version"
106 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.