283def linearStepPlanForProgram =
284 (lambda unrestricted program : (family SM86Program) .
285 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
286 (lambda unrestricted component : (family NvidiaWholeProgramComponent) .
287 (lambda unrestricted architecture : (family ModelWord32) .
288 (lambda unrestricted computeClass : (family ModelWord32) .
289 (lambda unrestricted spaVersion : (family ModelWord32) .
290 (lambda unrestricted learningRate : Nat .
291 (lambda unrestricted submissions : Nat .
292 (constructor NvidiaWholeProgramPlan NvidiaWholeProgramPlanValue
293 component
294 architecture
295 computeClass
296 spaVersion
297 (linearStepPlanWord64 (linearStepPlanAddress linearStepPlanProgramOffset))
298 (linearStepPlanWord64 (linearStepPlanAddress linearStepPlanQMDOffset))
299 (linearStepPlanWord64 (linearStepPlanAddress linearStepPlanPushbufferOffset))
300 (linearStepPlanWord64 (linearStepPlanAddress linearStepPlanSemaphoreOffset))
301 linearStepPlanRegionAlignment
302 (linearStepPlanProgramBytesOf program)
303 (linearStepPlanRegionsForProgram program)
304 (linearStepPlanLaunches learningRate)
305 linearStepPlanLaunchCount
306 linearStepPlanQMDTableBytes
307 (linearStepPlanSubmissionsRepeated submissions)
308 submissions
309 submissions))))))))))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.