Capability admission is deliberately independent of marketing product names.
A caller supplies measured device/runtime facts; a system supplies the exact
minimums it needs. Product name, UUID, PCI identity and driver version belong
in the physical receipt that accompanies these facts, not in admission.
11family SM86DeviceCapabilities : Type 0
12constructor SM86DeviceCapabilitiesValue
13field unrestricted sm86CapabilityComputeMajor : Nat
14field unrestricted sm86CapabilityComputeMinor : Nat
15field unrestricted sm86CapabilityTotalVideoMemoryBytes : (family ModelWord64)
16field unrestricted sm86CapabilityAvailableVideoMemoryBytes : (family ModelWord64)
17field unrestricted sm86CapabilityMappedAddressEnd : (family ModelWord64)
18field unrestricted sm86CapabilityMaximumGridX : Nat
19field unrestricted sm86CapabilityUVMSupported : Nat
20field unrestricted sm86CapabilityResourceManagerSupported : Nat
21field unrestricted sm86CapabilityQMDSupported : Nat
22field unrestricted sm86CapabilityPushbufferSupported : Nat
23field unrestricted sm86CapabilityGPFIFOSupported : Nat
24field unrestricted sm86CapabilityDeviceTimestampsSupported : Nat
25field unrestricted sm86CapabilityHostFallbacks : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.