void machine_power_off(void) { uml_cleanup(); halt_skas(); }
static void last_ditch_exit(int sig) { uml_cleanup(); exit(1); }
void machine_restart(char * __unused) { uml_cleanup(); reboot_skas(); }