Marius Strobl 1ed1ef30ee 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 after:	1 week
2015-09-13 00:08:04 +00:00
..
2013-07-28 18:44:17 +00:00
2015-08-04 19:46:13 +00:00
2013-08-04 21:17:05 +00:00
2013-09-29 13:09:25 +00:00
2015-09-13 00:08:04 +00:00