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

_______________________________________________
kvmarm mailing list
kvmarm@lists.cs.columbia.edu
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm

Reply via email to