2 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
3 * Licensed under the GPL
6 #include "linux/sched.h"
10 void (*pm_power_off
)(void);
12 static void kill_off_processes(void)
16 * FIXME: need to loop over userspace_pids
18 os_kill_ptraced_process(userspace_pid
[0], 1);
20 struct task_struct
*p
;
28 pid
= p
->mm
->context
.id
.u
.pid
;
29 os_kill_ptraced_process(pid
, 1);
34 void uml_cleanup(void)
41 void machine_restart(char * __unused
)
47 void machine_power_off(void)
53 void machine_halt(void)