Searched refs:machine_check_queue_event (Results 1 – 4 of 4) sorted by relevance
134 machine_check_queue_event(); in kvmppc_realmode_mc_power7()
194 extern void machine_check_queue_event(void);
179 void machine_check_queue_event(void) in machine_check_queue_event() function
1391 3: bl machine_check_queue_event1458 bl machine_check_queue_event