188def linearStepPlanResidentsFor =
189 (lambda unrestricted submissions : Nat .
190 (linearStepPlanResident b"pushbuffer" linearStepPlanPushbufferOffset linearStepPlanPushbufferBudget 4096
191 (linearStepPlanResident b"semaphores" linearStepPlanSemaphoreOffset (naturalMultiply linearStepPlanSemaphoreStride submissions) 4096
192 (linearStepPlanResident b"program" linearStepPlanProgramOffset linearStepPlanProgramBytes linearStepPlanRegionAlignment
193 (linearStepPlanResident b"qmd" linearStepPlanQMDOffset linearStepPlanQMDTableBytes linearStepPlanRegionAlignment
194 (linearStepPlanResident b"weights" linearStepPlanWeightsOffset linearStepPlanWeightsBytes 4
195 (linearStepPlanResident b"input" linearStepPlanInputOffset linearStepPlanInputBytes 4
196 (linearStepPlanResident b"target" linearStepPlanTargetOffset linearStepPlanTargetBytes 4
197 (linearStepPlanResident b"output" linearStepPlanOutputOffset linearStepSM86OutputRecordBytes 4
198 (constructor ArenaResidents ArenaResidentsEnd))))))))))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.