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