121def scoreboardWaitMaskOf =
122 (lambda unrestricted control : (family SM86Control) .
123 (eliminate SM86Control
124 (lambda unrestricted current : (family SM86Control) . Nat)
125 control
126 (branch SM86ControlValue stall yield write read wait reuse . (byte-to-nat wait))))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.