Host values are validation/checkpoint shadows, never input to a later
parameter update. Capture follows the device fence and precedes publication.
219def cdCaptureMemory =
220 (lambda unrestricted layout : (family CoordinateHostLayout) .
221 (lambda unrestricted data : Nat .
222 (lambda unrestricted tail : (family NativePhysicalCommands) .
223 (phCopyMappedToState
224 (naturalAdd data cdmParameter)
225 (chWeight layout)
226 coordinateWordBytes
227 (phCopyMappedToState
228 (naturalAdd data cdmAccumulator)
229 (chAccumulator layout)
230 coordinateWordBytes
231 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.