19Linux Code: (a) int r0 = *x; (bc) spin_unlock(y, 0); .... .... (d) spin_lock(y); (e) int r1 = [M];po-loc;[W] and r2 = ([R];po-loc-no-w;[R]) \ rsw and r3 = [AMO|StCond];rfi;[R] (* Explicit Synchronization (Rules 5-8) A.3.8. Syntactic Dependencies b is a trade off of Adam 1 Ne. 10:17 Nephi 1 is
teacake