freebsd-skq/sys/x86
kib d235284e50 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 Add missing header needed by free(9). 2012-09-30 15:42:20 +00:00
cpufreq Pull in r267961 and r267973 again. Fix for issues reported will follow. 2014-06-28 03:56:17 +00:00
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