unsigned int __softirq_pending;
unsigned int __local_irq_count;
unsigned int nmi_count;
+ unsigned int mce_count;
bool_t __mwait_wakeup;
} __cacheline_aligned irq_cpustat_t;
#define nmi_enter() (nmi_count(smp_processor_id())++)
#define nmi_exit() (nmi_count(smp_processor_id())--)
+#define mce_count(cpu) __IRQ_STAT(cpu, mce_count)
+#define in_mce_handler() (mce_count(smp_processor_id()) != 0)
+#define mce_enter() (mce_count(smp_processor_id())++)
+#define mce_exit() (mce_count(smp_processor_id())--)
+
void ack_bad_irq(unsigned int irq);
extern void apic_intr_init(void);