Hi Paul,
In Section 15.4.3, you are treating ARMv8 as 64-bit CPU.
However, ARMv8 has 32-bit modes A32 and T32.
Instructions for load-acquire/store-release are also available in A32
and T32 modes of ARMv8.
The opening paragraph of Section 15.4.3 needs some rework, I guess.
Thanks, Akira
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
