freebsd-skq/sys/x86
kib b6ddae99a2 Use the new SDM-approved way to serialize x2APIC MSR writes.
SDM editions 64 and below stated that it is enough to use MFENCe or
LFENCE to serialize x2APIC register writes.  New edition 65 requires
either full serialization instruction or MFENCE;LFENCE sequence.  Use
the later, FreeBSD needs serialization to ensure that writes done
before IPI request are visible to the target IPI CPU.

Sponsored by:	The FreeBSD Foundation
MFC after:	1 week
2018-01-03 11:23:47 +00:00
..
acpica Use resume_cpus() instead of restart_cpus() to resume from ACPI suspension. 2017-12-21 09:17:48 +00:00
bios sys/x86: further adoption of SPDX licensing ID tags. 2017-11-27 15:11:47 +00:00
cpufreq Properly skip the first CPU. It only accidentally worked because the 2017-11-30 20:21:42 +00:00
include Add CR4.SMAP control bit. 2018-01-01 19:34:19 +00:00
iommu sys/x86: further adoption of SPDX licensing ID tags. 2017-11-27 15:11:47 +00:00
isa Further investigation shows this shouldn't have been added at all. 2017-12-24 17:59:48 +00:00
pci sys/x86: further adoption of SPDX licensing ID tags. 2017-11-27 15:11:47 +00:00
x86 Use the new SDM-approved way to serialize x2APIC MSR writes. 2018-01-03 11:23:47 +00:00
xen sys/x86: further adoption of SPDX licensing ID tags. 2017-11-27 15:11:47 +00:00