145def nativeLaunchRecipeLoadWords =
146 (lambda unrestricted executable : (family NativePhysicalOperand) .
147 (lambda unrestricted stagingAddress : Nat .
148 (lambda unrestricted recipeOffset : (family ModelWord64) .
149 (lambda unrestricted recipeExtent : (family ModelWord64) .
150 (lambda unrestricted destination : Nat .
151 (lambda unrestricted tableExtent : (family ModelWord64) .
152 (lambda unrestricted resultSlot : Nat .
153 (lambda unrestricted errorIdentity : Bytes .
154 (lambda unrestricted tail : (family NativePhysicalCommands) .
155 (nativeLaunchRecipeCommand
156 (constructor NativePhysicalOperation NativePhysicalSystemCall
157 (nativeLaunchRecipeImmediate 17)
158 (nativeLaunchRecipeArguments
159 executable
160 (nativeLaunchRecipeImmediate stagingAddress)
161 (nativeLaunchRecipeWordImmediate recipeExtent)
162 (nativeLaunchRecipeWordImmediate recipeOffset))
163 b""
164 (nativeLaunchRecipeStore resultSlot))
165 errorIdentity
166 (nativeLaunchRecipeAssertEqual
167 (nativeLaunchRecipeSlotValue resultSlot)
168 (nativeLaunchRecipeWordImmediate recipeExtent)
169 errorIdentity
170 (nativeLaunchRecipeCommand
171 (constructor NativePhysicalOperation NativePhysicalMachineRoutine
172 nativeLaunchRecipeRoutineBytes
173 (nativeLaunchRecipeArguments
174 (nativeLaunchRecipeImmediate stagingAddress)
175 (nativeLaunchRecipeWordImmediate recipeExtent)
176 (nativeLaunchRecipeImmediate destination)
177 (nativeLaunchRecipeWordImmediate tableExtent))
178 (nativeLaunchRecipeStore resultSlot))
179 errorIdentity
180 (nativeLaunchRecipeAssertEqual
181 (nativeLaunchRecipeSlotValue resultSlot)
182 (nativeLaunchRecipeWordImmediate tableExtent)
183 errorIdentity
184 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.