T for side thread tid - first of the CTA's linear index
128def ahSideThread = (lambda unrestricted first : Nat . (lambda unrestricted threads : Nat .
129 (lambda unrestricted gridX : Nat . (lambda unrestricted tail : (family SM86Program) .
130 (saAddImm 0 0 (naturalSaturatingSubtract 4294967296 first)
131 (saImad 1 26 gridX 1
132 (saImad 2 1 threads 0 tail)))))))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.