Jonathan T. Looney a81ce6e9d5 We have seen several cases recently where we appear to get a double-fault: ... We have an original panic. Then, instead of writing the core to the dump device, the kernel has a second panic: "smp_targeted_tlb_shootdown: interrupts disabled". This change is an attempt to fix that second panic. When the other CPUs are stopped, we can't notify them of the TLB shootdown, so we skip that operation. However, when the CPUs come back up, we invalidate the TLB to ensure they correctly observe any changes to the page mappings. Reviewed by: kib Sponsored by: Netflix Differential Revision: https://reviews.freebsd.org/D9786		2017-02-24 18:56:00 +00:00
..
acpica	For i386, remove config options CPU_DISABLE_CMPXCHG, CPU_DISABLE_SSE	2017-02-03 12:51:40 +00:00
bios	Add missing header needed by free(9).	2012-09-30 15:42:20 +00:00
cpufreq	- Mention mismatching numbers in MSR vs. ACPI _PSS count warning: seeing	2016-12-01 14:31:05 +00:00
include	Define the vm_ooffset_t and vm_pindex_t types as machine-independend.	2017-02-04 12:26:38 +00:00
iommu	Release DMAR table after using it.	2016-12-05 11:42:09 +00:00
isa	Remove Micro Channel Architecture support. Of the commonly available	2017-02-15 23:04:25 +00:00
pci	"Buses" is the preferred plural of "bus"	2017-01-15 17:54:01 +00:00
x86	We have seen several cases recently where we appear to get a double-fault:	2017-02-24 18:56:00 +00:00
xen	xen: fix IPI setup with EARLY_AP_STARTUP	2016-12-22 16:09:44 +00:00