2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2000, 2002 Jeff Dike (jdike@karaya.com)
|
|
|
|
* Licensed under the GPL
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "linux/module.h"
|
|
|
|
#include "linux/sched.h"
|
2006-02-01 19:06:29 +08:00
|
|
|
#include "asm/smp.h"
|
2005-04-17 06:20:36 +08:00
|
|
|
#include "user_util.h"
|
|
|
|
#include "kern_util.h"
|
|
|
|
#include "kern.h"
|
|
|
|
#include "os.h"
|
|
|
|
#include "mode.h"
|
|
|
|
#include "choose-mode.h"
|
|
|
|
|
2006-01-08 17:03:46 +08:00
|
|
|
void (*pm_power_off)(void);
|
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
static void kill_idlers(int me)
|
|
|
|
{
|
|
|
|
#ifdef CONFIG_MODE_TT
|
|
|
|
struct task_struct *p;
|
|
|
|
int i;
|
|
|
|
|
2006-09-26 14:33:00 +08:00
|
|
|
for(i = 0; i < ARRAY_SIZE(idle_threads); i++){
|
2005-04-17 06:20:36 +08:00
|
|
|
p = idle_threads[i];
|
|
|
|
if((p != NULL) && (p->thread.mode.tt.extern_pid != me))
|
|
|
|
os_kill_process(p->thread.mode.tt.extern_pid, 0);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static void kill_off_processes(void)
|
|
|
|
{
|
|
|
|
CHOOSE_MODE(kill_off_processes_tt(), kill_off_processes_skas());
|
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
kill_idlers(os_getpid());
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
void uml_cleanup(void)
|
|
|
|
{
|
2005-06-26 05:55:23 +08:00
|
|
|
kmalloc_ok = 0;
|
2005-04-17 06:20:36 +08:00
|
|
|
do_uml_exitcalls();
|
2005-06-26 05:55:23 +08:00
|
|
|
kill_off_processes();
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void machine_restart(char * __unused)
|
|
|
|
{
|
2005-06-26 05:55:23 +08:00
|
|
|
uml_cleanup();
|
2005-04-17 06:20:36 +08:00
|
|
|
CHOOSE_MODE(reboot_tt(), reboot_skas());
|
|
|
|
}
|
|
|
|
|
|
|
|
void machine_power_off(void)
|
|
|
|
{
|
2005-06-26 05:55:23 +08:00
|
|
|
uml_cleanup();
|
2005-04-17 06:20:36 +08:00
|
|
|
CHOOSE_MODE(halt_tt(), halt_skas());
|
|
|
|
}
|
|
|
|
|
|
|
|
void machine_halt(void)
|
|
|
|
{
|
|
|
|
machine_power_off();
|
|
|
|
}
|