Symbol: schedule_mcck_handler
arch/s390/include/asm/smp.h
87
extern void schedule_mcck_handler(void);
arch/s390/kernel/nmi.c
499
schedule_mcck_handler();