MFC: r287728
Merge r286374 from x86:
Formally pair store_rel(&smp_started) with load_acq(&smp_started).
Similarly to x86, this change is mostly a NOP due to the kernel
being run in total store order.
MFC: r287728 Tags None Referenced Files None Subscribers None
Description
Details
|