Searched refs:machine_check_queue_event (Results 1 – 4 of 4) sorted by relevance
210 extern void machine_check_queue_event(void);
152 machine_check_queue_event(); in kvmppc_realmode_mc_power7()
234 void machine_check_queue_event(void) in machine_check_queue_event() function
406 bl machine_check_queue_event518 bl machine_check_queue_event
