mcck_int_handler   18 arch/s390/kernel/entry.h void mcck_int_handler(void);
mcck_int_handler  404 arch/s390/kernel/setup.c 	lc->mcck_new_psw.addr = (unsigned long) mcck_int_handler;