| /* |
| * Copyright (C) 2000, 2002 Jeff Dike (jdike@karaya.com) |
| * Licensed under the GPL |
| */ |
| |
| #include "linux/module.h" |
| #include "linux/sched.h" |
| #include "asm/smp.h" |
| #include "kern_util.h" |
| #include "kern.h" |
| #include "os.h" |
| #include "skas.h" |
| |
| void (*pm_power_off)(void); |
| |
| static void kill_off_processes(void) |
| { |
| if(proc_mm) |
| /* |
| * FIXME: need to loop over userspace_pids |
| */ |
| os_kill_ptraced_process(userspace_pid[0], 1); |
| else { |
| struct task_struct *p; |
| int pid, me; |
| |
| me = os_getpid(); |
| for_each_process(p){ |
| if(p->mm == NULL) |
| continue; |
| |
| pid = p->mm->context.skas.id.u.pid; |
| os_kill_ptraced_process(pid, 1); |
| } |
| } |
| } |
| |
| void uml_cleanup(void) |
| { |
| kmalloc_ok = 0; |
| do_uml_exitcalls(); |
| kill_off_processes(); |
| } |
| |
| void machine_restart(char * __unused) |
| { |
| uml_cleanup(); |
| reboot_skas(); |
| } |
| |
| void machine_power_off(void) |
| { |
| uml_cleanup(); |
| halt_skas(); |
| } |
| |
| void machine_halt(void) |
| { |
| machine_power_off(); |
| } |