On 05/18/2016 08:35 AM, Peter Maydell wrote:
(v7 probably gets compiled the same way as v6 here, though.)
The meaningful difference in v7 is ldrexb, which goes to the byte semantics of __atomic_test_and_set, which is how this digression got started.
r~
