return NMI_HANDLED;
}
+#if defined(CONFIG_X86_LOCAL_APIC) && !defined(CONFIG_XEN)
static void mce_irq_ipi(void *info)
{
int cpu = smp_processor_id();
raise_exception(m, NULL);
}
}
+#endif
/* Inject mce on current CPU */
static int raise_local(void)
if (context == MCJ_CTX_RANDOM)
return;
-#ifdef CONFIG_X86_LOCAL_APIC
+#if defined(CONFIG_X86_LOCAL_APIC) && !defined(CONFIG_XEN)
if (m->inject_flags & (MCJ_IRQ_BRAODCAST | MCJ_NMI_BROADCAST)) {
unsigned long start;
int cpu;