1 C ISA2+pooncelock+pooncelock+pombonce
6 * This test shows that the ordering provided by a lock-protected S
7 * litmus test (P0() and P1()) are not visible to external process P2().
8 * This is likely to change soon.
13 P0(int *x, int *y, spinlock_t *mylock)
21 P1(int *y, int *z, spinlock_t *mylock)
41 exists (1:r0=1 /\ 2:r2=1 /\ 2:r1=0)