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	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	Wait 100 microseconds for a local APIC to dispatch each startup-related IPI	2015-03-30 20:13:22 +00:00
conf	Update to the Intel ixgbe driver:	2015-03-17 18:32:28 +00:00
ia32	Do not qualify the mcontext_t *mcp argument for set_mcontext(9) as	2015-01-31 21:43:46 +00:00
include	When fetching an instruction in non-64bit mode, consider the value of the	2015-03-24 17:12:36 +00:00
linux32	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
vmm	Fix the RTC device model to operate correctly in 12-hour mode. The following	2015-03-28 02:55:16 +00:00
Makefile