Searched refs:s390_reset_system (Results 1 – 3 of 3) sorted by relevance
60 s390_reset_system(); in __do_machine_kdump()237 s390_reset_system(); in __do_machine_kexec()
2380 void __no_stack_protector s390_reset_system(void) in s390_reset_system() function
64 extern void s390_reset_system(void);