11 #include <linux/types.h>
12 #include <linux/kernel.h>
14 #include <linux/reboot.h>
15 #include <linux/kexec.h>
17 #include <linux/elf.h>
18 #include <linux/elfcore.h>
20 #include <asm/processor.h>
21 #include <asm/hardirq.h>
23 #include <asm/hw_irq.h>
28 #include <asm/reboot.h>
33 #if defined(CONFIG_SMP) && defined(CONFIG_X86_LOCAL_APIC)
42 if (!user_mode_vm(regs)) {
43 crash_fixup_ss_esp(&fixed_regs, regs);
55 cpu_emergency_vmxoff();
56 cpu_emergency_svm_disable();
61 static void kdump_nmi_shootdown_cpus(
void)
70 static void kdump_nmi_shootdown_cpus(
void)
89 kdump_nmi_shootdown_cpus();
95 cpu_emergency_vmxoff();
96 cpu_emergency_svm_disable();
99 #if defined(CONFIG_X86_IO_APIC)
102 #ifdef CONFIG_HPET_TIMER