#include <asm/nmi.h>
#include <asm/hw_irq.h>
#include <asm/apic.h>
-#include <asm/kdebug.h>
+#include <linux/kdebug.h>
#include <asm/smp.h>
#include <mach_ipi.h>
-#ifndef CONFIG_XEN
+
/* This keeps a track of which one is crashing cpu. */
static int crashing_cpu;
/* There are no cpus to shootdown */
}
#endif
-#endif /* CONFIG_XEN */
void machine_crash_shutdown(struct pt_regs *regs)
{
/* The kernel is broken so disable interrupts */
local_irq_disable();
-#ifndef CONFIG_XEN
/* Make a note of crashing cpu. Will be used in NMI callback.*/
crashing_cpu = safe_smp_processor_id();
nmi_shootdown_cpus();
disable_IO_APIC();
#endif
crash_save_cpu(regs, safe_smp_processor_id());
-#else
- crash_save_cpu(regs, smp_processor_id());
-#endif /* CONFIG_XEN */
}