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 177–205

rpDirect

Full file
177def rpDirect =
178  (lambda unrestricted dataBytes : Nat .
179    (lambda unrestricted errorHost : Nat .
180      (constructor
181        NvidiaPlanHostLayout
182        NvidiaPlanHostLayoutValue
183        (rpBuffer b"ring" 0x10000 0x60010000 4096 rpSystem)
184        (rpBuffer b"push" 0x20000 0x60020000 4096 rpSystem)
185        (rpBuffer b"semaphore" 0x30000 0x60030000 4096 rpSystem)
186        (rpBuffer b"program" 0x40000 0x60040000 4096 rpSystem)
187        (rpBuffer b"qmd" 0x50000 0x60050000 4096 rpSystem)
188        (rpBuffer b"userd" 0x60000 0 4096 rpVideo)
189        (constructor
190          NvidiaPlanHostBuffers
191          NvidiaPlanHostBuffersNext
192          (rpBuffer b"data" 0x80000 0 dataBytes rpVideo)
193          (constructor
194            NvidiaPlanHostBuffers
195            NvidiaPlanHostBuffersNext
196            (rpBuffer b"cached" 0x90000 0 65536 rpCached)
197            (constructor
198              NvidiaPlanHostBuffers
199              NvidiaPlanHostBuffersNext
200              (rpBuffer b"paged" 0xa0000 0x600a0000 8192 rpPaged)
201              (constructor NvidiaPlanHostBuffers NvidiaPlanHostBuffersEnd))))
202        nvidiaPlanHostAmpere580
203        (constructor NvidiaPlanHostLifecycle NvidiaPlanHostDirectRM rpDirectRingEntries)
204        b"fixture"
205        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.