Test 2+2w+o-wb-o+o-mb-o

LISA 2+2w+o-wb-o+o-mb-o
(*
 * Allow per Linus Torvalds email:
 * http://www.spinics.net/lists/arm-kernel/msg483690.html
 *)
{
x = 0;
y = 0;
}
 P0           | P1           ;
 w[once] x 1  | w[once] y 1  ;
 f[wmb]       | f[mb]        ;
 w[once] y 2  | w[once] x 2  ;
Observed
    y=1; x=1;