restart_int_handler   19 arch/s390/kernel/entry.h void restart_int_handler(void);
restart_int_handler  395 arch/s390/kernel/setup.c 	lc->restart_psw.addr = (unsigned long) restart_int_handler;