mce_run_irq_context_handlers
void mce_run_irq_context_handlers(void);
mce_run_irq_context_handlers();