marius 62c23acc65 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
..
2015-09-12 09:56:23 +00:00
2015-09-12 23:10:34 +00:00
2015-09-10 05:59:39 +00:00
2015-04-18 16:08:06 +00:00
2015-09-13 00:08:04 +00:00
2015-05-29 14:03:07 +00:00