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;