Lines Matching refs:SB

87 The remainder of this section uses the SB+fencembonceonces.litmus test
90 To run SB+fencembonceonces.litmus against the memory model:
93   $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
97   Test SB+fencembonceonces Allowed
106   Observation SB+fencembonceonces Never 0 3
107   Time SB+fencembonceonces 0.01
127 For example, to run SB+fencembonceonces.litmus against hardware:
130   $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
136   Test SB+fencembonceonces Allowed
146   Observation SB+fencembonceonces Never 0 2000000
147   Time SB+fencembonceonces 0.16