Progress advances after the selected target transition and finite checks.
1086def chAdvance =
1087 (lambda unrestricted layout : (family CoordinateHostLayout) .
1088 (lambda unrestricted tail : (family NativePhysicalCommands) .
1089 (nativeCheckedWordAdd
1090 (nativeMemoryState (chVersion layout))
1091 (nativeMemoryLoad (chVersion layout))
1092 (nativeLaunchRecipeImmediate 1)
1093 nativePeerScratchSlot
1094 b"coordinate-update-overflow"
1095 (nativeCheckedWordAdd
1096 (nativeMemoryState (chCursor layout))
1097 (nativeMemoryLoad (chCursor layout))
1098 (nativeLaunchRecipeImmediate 1)
1099 nativePeerScratchSlot
1100 b"coordinate-cursor-overflow"
1101 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.