jhb 4e5400d652 Wait 100 microseconds for a local APIC to dispatch each startup-related IPI ... rather than 20. The MP 1.4 specification states in Appendix B.2: "A period of 20 microseconds should be sufficient for IPI dispatch to complete under normal operating conditions". (Note that this appears to be separate from the 10 millisecond (INIT) and 200 microsecond (STARTUP) waits after the IPIs are dispatched.) The Intel SDM is silent on this issue as far as I can tell. At least some hardware requires 60 microseconds as noted in the PR, so bump this to 100 to be on the safe side. PR: 197756 Reported by: zaphod@berentweb.com MFC after: 1 week		2015-03-30 20:13:22 +00:00
..
acpica	Correct a comment brought over from amd64. i386 doesn't use long	2014-08-12 18:22:57 +00:00
bios	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
conf	Apply r276208 to non-amd64 NOTES files as well to fix tinderbox builds	2015-03-25 15:51:41 +00:00
i386	Wait 100 microseconds for a local APIC to dispatch each startup-related IPI	2015-03-30 20:13:22 +00:00
ibcs2	Remove the no-at variants of the kern_xx() syscall helpers. E.g., we	2014-11-13 18:01:51 +00:00
include	Use VT-d interrupt remapping block (IR) to perform FSB messages	2015-03-19 13:57:47 +00:00
isa	Remove write-only variable.	2015-03-12 20:14:48 +00:00
linux	Regen after r276508, r276509.	2015-01-01 18:43:31 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
svr4	MFamd64: Move extern declaration of _ucodesel and _udatasel to	2014-11-02 21:40:32 +00:00
xbox
xen	Generalized parts of the XEN timer code into a generic pvclock	2015-02-04 08:26:43 +00:00
Makefile