Searched refs:schedule_mcck_handler (Results 1 – 3 of 3) sorted by relevance
67 extern void schedule_mcck_handler(void);
500 schedule_mcck_handler(); in s390_do_machine_check()
424 void schedule_mcck_handler(void) in schedule_mcck_handler() function