AlphaGitHub
Source/Packages

ResourcePlanContract

packages/hardware/platforms/linux-nvidia/tests/ResourcePlanContract.alpha

639 lines74 declarations22.9 KiBSHA-256 df18db61c507
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 213–242

rpAliased

Full file
213def rpAliased =
214  (lambda unrestricted dataBytes : Nat .
215    (lambda unrestricted errorHost : Nat .
216      (lambda unrestricted aliasOffset : Nat .
217        (constructor
218          NvidiaPlanHostLayout
219          NvidiaPlanHostLayoutValue
220          (rpBuffer b"ring" 0x10000 0 rpUVMRingBytes rpVideo)
221          (rpBuffer b"push" 0x60000 0x60020000 4096 rpSystem)
222          (rpBuffer b"semaphore" 0x70000 0x60030000 4096 rpSystem)
223          (rpBuffer b"program" 0x80000 0x60040000 4096 rpSystem)
224          (rpBuffer b"qmd" 0x90000 0x60050000 4096 rpSystem)
225          (rpBuffer b"userd" (naturalAdd 0x10000 aliasOffset) 0 4096 rpVideo)
226          (constructor
227            NvidiaPlanHostBuffers
228            NvidiaPlanHostBuffersNext
229            (rpBuffer b"data" 0xa0000 0 dataBytes rpVideo)
230            (constructor
231              NvidiaPlanHostBuffers
232              NvidiaPlanHostBuffersNext
233              (rpBuffer b"cached" 0xb0000 0 65536 rpCached)
234              (constructor
235                NvidiaPlanHostBuffers
236                NvidiaPlanHostBuffersNext
237                (rpBuffer b"paged" 0xc0000 0x600a0000 8192 rpPaged)
238                (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersEnd))))
239          nvidiaPlanHostAmpere580
240          (constructor NvidiaPlanHostLifecycle NvidiaPlanHostUVM 65536 1048576)
241          b"fixture"
242          errorHost))))

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.