the barriers a control word sets
625def sm86ControlSetKeys =
626 (lambda unrestricted control : (family SM86Control) .
627 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . (family StdList Nat)) control
628 (branch SM86ControlValue stall yield write read wait reuse .
629 (stdListAppend Nat (sm86BarrierKeys write) (sm86BarrierKeys read)))))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.