On 5/20/25 03:55, Peter Zijlstra wrote: > The ordering in should_flush_tlb() is entirely non-obvious and is only > correct because x86 is TSO. Clarify the situation by replacing two > WRITE_ONCE()s with smp_store_release(), which on x86 is cosmetic. > > Additionally, clarify the comment on should_flush_tlb().
Thanks for clarifying the ordering in those comments. It's much appreciated by us mere mortals! Oh, and there are a few we's that snuck into the comments. But whoever applies this can fix them up. Acked-by: Dave Hansen <dave.han...@linux.intel.com>