Neel Natu 847383d090 Free up the IPI slot used by IPI_STOP_HARD. ... Change the numeric value of IPI_STOP_HARD so it doesn't occupy a valid IPI slot. This can be done because IPI_STOP_HARD is actually delivered via NMI. Reviewed by: kib Differential Revision: https://reviews.freebsd.org/D1983		2015-03-01 02:31:27 +00:00
..
acpica	For now, disable x2APIC mode when Xen is detected, even if CPU	2015-02-25 16:44:07 +00:00
bios
cpufreq
include	Free up the IPI slot used by IPI_STOP_HARD.	2015-03-01 02:31:27 +00:00
iommu	Revert r276949 and redo the fix for PCIe/PCI bridges, which do not	2015-02-21 22:38:32 +00:00
isa	Include mca_machdep.h.	2015-01-18 03:43:47 +00:00
pci
x86	Since all generations of Intel CPUs have errata which causes hang on	2015-02-27 11:13:46 +00:00
xen	xen/intr: fix fallout from r278854	2015-02-26 16:05:09 +00:00