Searched refs:mce_irq_work_queue (Results 1 – 2 of 2) sorted by relevance
81 void mce_irq_work_queue(void) in mce_irq_work_queue() function238 mce_irq_work_queue(); in machine_check_ue_event()261 mce_irq_work_queue(); in machine_check_queue_event()
238 void mce_irq_work_queue(void);