On Mon, May 11, 2020 at 09:41:49PM +0100, Will Deacon wrote:
> + data_race(({ __WRITE_ONCE(*__xp, val); 0; })); \That had me blink for a little, I see how we got there, but urgh. Anyway, it's all in *much* better shape now than it was, so no real copmlaints.
