On 7/14/22 17:35, Sean Christopherson wrote:
Can you check that smp_rmb() and smp_wmb() generate correct instructions on arm64?
That seems like the most likely scenario (or a kernel bug), I distinctly remember the barriers provided by tools/ being rather bizarre.
Maybe we should bite the bait and use C11 atomics in tools/. I've long planned an article "C11 atomics for kernel programmers", especially because this will also be an issue when Rust gets into the mix...
Paolo