1216def chLocalRound =
1217 (lambda unrestricted layout : (family CoordinateHostLayout) .
1218 (lambda unrestricted forward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1219 (lambda unrestricted backward : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1220 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1221 (lambda unrestricted operation : (family CoordinateRoundOperation) .
1222 (eliminate
1223 CoordinateRoundOperation
1224 (lambda unrestricted current : (family CoordinateRoundOperation) .
1225 (pi unrestricted tail : (family NativePhysicalCommands) .
1226 (family NativePhysicalCommands)))
1227 operation
1228 (branch CoordinateCombine value . (chCombineLocal layout forward value))
1229 (branch
1230 CoordinateInstallCombined
1231 .
1232 (chStore (chError layout) (nativeMemoryLoad (chPartial layout))))
1233 (branch CoordinateBackwardUpdate . (chBackwardUpdate layout backward update))
1234 (branch
1235 CoordinatePrepareAcknowledgment
1236 .
1237 (chStore
1238 (framePayloadAt (chAcknowledgment layout))
1239 (nativeMemoryLoad (chVersion layout))))
1240 (branch
1241 CoordinateAcceptAcknowledgment
1242 .
1243 (lambda unrestricted tail : (family NativePhysicalCommands) .
1244 (nativeFrameConsume
1245 (chAcknowledgment layout)
1246 (nativeLaunchRecipeAssertEqual
1247 (nativeMemoryLoad (framePayloadAt (chAcknowledgment layout)))
1248 (nativeMemoryLoad (chVersion layout))
1249 b"coordinate-acknowledged-version"
1250 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.