While porting the fix for LU-9210 it was purposed by Neil to handle this better with smp_store_release() and smp_load_acquie(). This would make it obvious which variable was important, and would show the paired synchronization points.