ext_int_handler    16 arch/s390/kernel/entry.h void ext_int_handler(void);
ext_int_handler   397 arch/s390/kernel/setup.c 	lc->external_new_psw.addr = (unsigned long) ext_int_handler;