Searched refs:machine_check_queue_event (Results 1 – 2 of 2) sorted by relevance
232 extern void machine_check_queue_event(void);
248 void machine_check_queue_event(void) in machine_check_queue_event() function