void machine_power_off(void) { do_uml_exitcalls(); kill_off_processes(); CHOOSE_MODE(halt_tt(), halt_skas()); }
void uml_cleanup(void) { kill_off_processes(); do_uml_exitcalls(); }
void machine_restart(char * __unused) { do_uml_exitcalls(); kill_off_processes(); CHOOSE_MODE(reboot_tt(), reboot_skas()); }
void uml_cleanup(void) { kmalloc_ok = 0; do_uml_exitcalls(); kill_off_processes(); }