s390_reset_system 52 arch/s390/include/asm/ipl.h extern void s390_reset_system(void); s390_reset_system 84 arch/s390/kernel/machine_kexec.c s390_reset_system(); s390_reset_system 282 arch/s390/kernel/machine_kexec.c s390_reset_system();