the loss record: the step's rows (window 0) to its slot, which the host
appends to the result after every step
2599def cgLossRecord : (family NvidiaLaunchSchedule) =
2600 (cgPhase
2601 cgPhaseLossRecord
2602 (nvidiaAffineLaunchRepeat
2603 coppeliusUpdatePieces
2604 (lambda unrestricted k : Nat .
2605 (cgCopy
2606 (cgStaging
2607 (naturalAdd
2608 coppeliusResultLossRecordOffset
2609 (naturalMultiply k coppeliusResultWindowBytes)))
2610 (cgWindow 0)
2611 cgWindowWords))))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.