Symbol: s390_handle_mcck
arch/s390/include/asm/nmi.h
104
void s390_handle_mcck(void);
arch/s390/kernel/smp.c
501
s390_handle_mcck();