Lines Matching refs:litmus
26 /* See MP+polocks.litmus. */
56 illustrated by the following litmus test:
58 /* See MP+porevlocks.litmus. */
90 double-checked locking work correctly, This litmus test illustrates
93 /* See Documentation/litmus-tests/locking/DCL-broken.litmus. */
118 /* See Documentation/litmus-tests/locking/DCL-fixed.litmus. */
154 /* See Z6.0+pooncelock+pooncelock+pombonce.litmus. */
187 /* See Z6.0+pooncelock+poonceLock+pombonce.litmus. */
223 please read up on that topic in litmus-tests.txt.
232 /* See Documentation/litmus-tests/locking/RM-fixed.litmus. */
269 /* See Documentation/litmus-tests/locking/RM-broken.litmus. */