Searched refs:__do_machine_kexec (Results 1 – 1 of 1) sorted by relevance
233 static void __do_machine_kexec(void *data) in __do_machine_kexec() function260 s390_reset_system(NULL, __do_machine_kexec, data); in __machine_kexec()