void machine_restart(char * __unused) { do_uml_exitcalls(); kill_off_processes(); CHOOSE_MODE(reboot_tt(), reboot_skas()); }
void machine_restart(char * __unused) { uml_cleanup(); reboot_skas(); }