2 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
3 * Licensed under the GPL
6 #include <linux/sched.h>
7 #include <linux/spinlock.h>
8 #include <linux/slab.h>
10 #include <kern_util.h>
14 void (*pm_power_off)(void);
16 static void kill_off_processes(void)
20 * FIXME: need to loop over userspace_pids
22 os_kill_ptraced_process(userspace_pid[0], 1);
24 struct task_struct *p;
27 read_lock(&tasklist_lock);
29 struct task_struct *t;
31 t = find_lock_task_mm(p);
34 pid = t->mm->context.id.u.pid;
36 os_kill_ptraced_process(pid, 1);
38 read_unlock(&tasklist_lock);
42 void uml_cleanup(void)
49 void machine_restart(char * __unused)
55 void machine_power_off(void)
61 void machine_halt(void)