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"
13 void (*pm_power_off)(void);
15 static void kill_off_processes(void)
19 * FIXME: need to loop over userspace_pids
21 os_kill_ptraced_process(userspace_pid[0], 1);
23 struct task_struct *p;
26 read_lock(&tasklist_lock);
33 pid = p->mm->context.id.u.pid;
35 os_kill_ptraced_process(pid, 1);
37 read_unlock(&tasklist_lock);
41 void uml_cleanup(void)
48 void machine_restart(char * __unused)
54 void machine_power_off(void)
60 void machine_halt(void)