Searched refs:s390_reset_system (Results 1 – 4 of 4) sorted by relevance
20 extern void s390_reset_system(void);
64 s390_reset_system(); in __machine_kexec()
1968 void s390_reset_system(void) in s390_reset_system() function
1057 s390_reset_system(); in reipl_ccw_dev()