2 * Copyright (C) 2000, 2002 Jeff Dike (jdike@karaya.com)
3 * Licensed under the GPL
6 #include "linux/module.h"
7 #include "linux/sched.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;
32 pid = p->mm->context.skas.id.u.pid;
33 os_kill_ptraced_process(pid, 1);
38 void uml_cleanup(void)
45 void machine_restart(char * __unused)
51 void machine_power_off(void)
57 void machine_halt(void)