49def cdIdentity =
50 (lambda unrestricted kind : (family NativePhysicalEmbeddedComponentKind) .
51 (let unrestricted name =
52 (eliminate
53 NativePhysicalEmbeddedComponentKind
54 (lambda unrestricted current : (family NativePhysicalEmbeddedComponentKind) . Bytes)
55 kind
56 (branch NativePhysicalEmbeddedHostELF . b"coordinate-scalar-sm86-host-v1")
57 (branch NativePhysicalEmbeddedProgramTable . b"coordinate-scalar-sm86-program-v1")
58 (branch NativePhysicalEmbeddedQMDTable . b"coordinate-scalar-sm86-qmd-v1")
59 (branch NativePhysicalEmbeddedPushbuffer . b"coordinate-scalar-sm86-push-v1")
60 (branch NativePhysicalEmbeddedGPFIFO . b"coordinate-scalar-sm86-ring-v1"))
61 in
62 (bytes-append
63 name
64 (phZeros
65 (naturalSaturatingSubtract nativePhysicalEmbeddedIdentityLength (bytes-length name))))))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.