The layout: the GPFIFO and its USERD page in one video buffer, the
pushbuffer (its extent the expansion's, `pushExpanded`), semaphores,
program and QMD tables in system memory at the plan's bases, the
checkpoint staging buffer, the QMD overflow adjacent to the QMD, and the
video arena itself inside the UVM external range (not host-mapped). The
pairing's card name is asserted.
128def coppeliusHostLayoutFor =
129 (lambda unrestricted target : (family CoppeliusHostTarget) .
130 (lambda unrestricted pushExpanded : Nat .
131 (lambda unrestricted expectedName : Bytes .
132 (constructor NvidiaPlanHostLayout NvidiaPlanHostLayoutValue
133 (coppeliusVideoBuffer (coppeliusHostTargetChannelMemory target) b"gpfifo+userd" coppeliusGPFIFOBase coppeliusHostGPFIFO coppeliusSM86CompatGPFIFOAndUSERDBytesNatural)
134 (coppeliusSystemBuffer b"pushbuffer" coppeliusPushbufferBase coppeliusHostPushbuffer (coppeliusPushbufferBytes pushExpanded))
135 (coppeliusSystemBuffer b"semaphores" coppeliusSemaphoreBase coppeliusHostSemaphores coppeliusSemaphoreBytes)
136 (coppeliusSystemBuffer b"program" coppeliusProgramBase coppeliusHostProgram coppeliusSM86CompatProgramBytesNatural)
137 (coppeliusSystemBuffer b"qmd" coppeliusQMDBase coppeliusHostQMD coppeliusSM86CompatQMDPrimaryBytesNatural)
138 (coppeliusSystemBuffer b"userd-alias" (naturalAdd coppeliusGPFIFOBase nvidiaPlanHostUVMGPFIFOBytes) (naturalAdd coppeliusHostGPFIFO nvidiaPlanHostUVMGPFIFOBytes) nvidiaPlanHostUSERDBytes)
139 (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersNext
140 (coppeliusSystemBuffer b"checkpoint-staging" coppeliusStagingBase coppeliusHostStaging coppeliusSM86CompatCheckpointStagingBytesNatural)
141 (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersNext
142 (coppeliusSystemBuffer b"qmd-overflow" (naturalAdd coppeliusQMDBase coppeliusSM86CompatQMDPrimaryBytesNatural) coppeliusHostQMDOverflow coppeliusQMDOverflowBytes)
143 (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersNext
144 (coppeliusVideoBuffer (coppeliusHostTargetArenaMemory target) b"video-arena" coppeliusSM86CompatVideoBaseNatural 0 coppeliusSM86CompatVideoBytesNatural)
145 (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersEnd))))
146 (coppeliusHostTargetABI target)
147 (constructor NvidiaPlanHostLifecycle NvidiaPlanHostUVM coppeliusSM86CompatVideoBaseNatural coppeliusSM86CompatVideoBytesNatural)
148 expectedName
149 coppeliusHostErrorNotifier))))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.