15 16 17 18 19Linux Code: (a) int r0 = *x; (bc) spin_unlock(y, 0); .... .... (d) spin_lock(y); (e) int r1 = *z; RVWMO Mapping: (a) lw a0,0(s0) (d) lw a0,0(s1) (b) fence w, w (e) sw a0, 0(t1)