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() function139 mce_irq_work_queue(); in save_mce_event()265 mce_irq_work_queue(); in machine_check_queue_event()
238 void mce_irq_work_queue(void);