freebsd-dev/sys/x86
Konstantin Belousov a8bf83d618 Formally pair store_rel(&smp_started) with load_acq(&smp_started).
The expected semantic is to have misc. data, e.g. CPU bitmaps, visible
in the BSP after smp_started is written by the last started AP, which
formally requires acquire barrier on the load.  The change is mostly
nop due to the ordered behaviour of the x86 CPUs.

Reviewed by:	alc
Sponsored by:	The FreeBSD Foundation
MFC after:	2 weeks
2015-08-06 18:02:54 +00:00
..
acpica Merge ACPICA 20150619. 2015-06-18 23:14:45 +00:00
bios
cpufreq
include Fix more style issues. 2015-08-05 17:21:42 +00:00
iommu Typo in comment. 2015-07-20 19:51:41 +00:00
isa Set the initial system time to a sane (as in: not end of 21st century) value when 2015-06-29 17:02:09 +00:00
pci Reassign copyright statements on several files from Advanced 2015-04-23 14:22:20 +00:00
x86 Formally pair store_rel(&smp_started) with load_acq(&smp_started). 2015-08-06 18:02:54 +00:00
xen Remove some more vestiges of the Xen PV domu support. Specifically, 2015-08-06 17:07:21 +00:00