The layout: the GPFIFO and its USERD page in one video buffer, the
pushbuffer, semaphores, program and QMD tables in system memory at the
plan's bases, the staging buffer holding the arena. No external range
(extent 0): nothing lives in video memory but the GPFIFO.
449def bobHostLayout =
450 (lambda unrestricted expectedName : Bytes .
451 (lambda unrestricted qmdLength : Nat .
452 (lambda unrestricted pushLength : Nat .
453 (constructor
454 NvidiaPlanHostLayout
455 NvidiaPlanHostLayoutValue
456 (bobVideoBuffer b"gpfifo+userd" bobGPFIFOBase bobHostGPFIFO bobGPFIFOBufferBytes)
457 (bobSystemBuffer
458 b"pushbuffer"
459 bobPushbufferBase
460 bobHostPushbuffer
461 (nvidiaPlanHostRoundUp pushLength nvidiaPlanHostMappingUnit))
462 (bobSystemBuffer b"semaphores" bobSemaphoreBase bobHostSemaphores bobSemaphoreBytes)
463 (bobSystemBuffer
464 b"program"
465 bobProgramBase
466 bobHostProgram
467 (nvidiaPlanHostRoundUp bobProgramBytes nvidiaPlanHostMappingUnit))
468 (bobSystemBuffer
469 b"qmd"
470 bobQMDBase
471 bobHostQMD
472 (nvidiaPlanHostRoundUp qmdLength nvidiaPlanHostMappingUnit))
473 (bobSystemBuffer
474 b"userd-alias"
475 (naturalAdd bobGPFIFOBase nvidiaPlanHostUVMGPFIFOBytes)
476 (naturalAdd bobHostGPFIFO nvidiaPlanHostUVMGPFIFOBytes)
477 nvidiaPlanHostPageBytes)
478 (constructor
479 NvidiaPlanHostBuffers
480 NvidiaPlanHostBuffersNext
481 (bobSystemBuffer b"arena" bobParametersAddress bobHostStaging bobStagingBytes)
482 (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersEnd))
483 nvidiaPlanHostAmpere580
484 (constructor NvidiaPlanHostLifecycle NvidiaPlanHostUVM 0 0)
485 expectedName
486 0))))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.