the barriers a control word sets
564def sm86ControlSetKeys =
565 (lambda unrestricted control : (family SM86Control) .
566 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . (family StdList Nat)) control
567 (branch SM86ControlValue stall yield write read wait reuse .
568 (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.