Lines Matching refs:SB
86 The remainder of this section uses the SB+fencembonceonces.litmus test
89 To run SB+fencembonceonces.litmus against the memory model:
92 $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
96 Test SB+fencembonceonces Allowed
105 Observation SB+fencembonceonces Never 0 3
106 Time SB+fencembonceonces 0.01
126 For example, to run SB+fencembonceonces.litmus against hardware:
129 $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
135 Test SB+fencembonceonces Allowed
145 Observation SB+fencembonceonces Never 0 2000000
146 Time SB+fencembonceonces 0.16