void machine_power_off(void) { do_uml_exitcalls(); kill_off_processes(); CHOOSE_MODE(halt_tt(), halt_skas()); }
void machine_power_off(void) { uml_cleanup(); halt_skas(); }