Searched refs:machine_check_queue_event (Results 1 – 3 of 3) sorted by relevance
217 extern void machine_check_queue_event(void);
235 void machine_check_queue_event(void) in machine_check_queue_event() function
1049 bl machine_check_queue_event1090 bl machine_check_queue_event
