Only this initial transfer writes parameter/accumulator from host state.
A restored checkpoint follows the same path before the first device issue.
191def cdSeedMemory =
192 (lambda unrestricted layout : (family CoordinateHostLayout) .
193 (lambda unrestricted data : Nat .
194 (lambda unrestricted tail : (family NativePhysicalCommands) .
195 (phCopyStateToMapped
196 (chWeight layout)
197 (naturalAdd data cdmParameter)
198 coordinateWordBytes
199 (phCopyStateToMapped
200 (chAccumulator layout)
201 (naturalAdd data cdmAccumulator)
202 coordinateWordBytes
203 (phCopyStateToMapped
204 (chFeature layout)
205 (naturalAdd data cdmFeature)
206 coordinateWordBytes
207 (phCopyStateToMapped
208 (chDecay layout)
209 (naturalAdd data cdmDecay)
210 coordinateWordBytes
211 (phCopyStateToMapped
212 (chRate layout)
213 (naturalAdd data cdmRate)
214 coordinateWordBytes
215 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.