Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame^] | 2 | * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | * Licensed under the GPL |
4 | */ | ||||
5 | |||||
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 6 | #include "linux/sched.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 7 | #include "os.h" |
Jeff Dike | 77bf440 | 2007-10-16 01:26:58 -0700 | [diff] [blame] | 8 | #include "skas.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 9 | |
Eric W. Biederman | 5e38291 | 2006-01-08 01:03:46 -0800 | [diff] [blame] | 10 | void (*pm_power_off)(void); |
11 | |||||
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | static void kill_off_processes(void) |
13 | { | ||||
Jeff Dike | 77bf440 | 2007-10-16 01:26:58 -0700 | [diff] [blame] | 14 | if(proc_mm) |
15 | /* | ||||
16 | * FIXME: need to loop over userspace_pids | ||||
17 | */ | ||||
18 | os_kill_ptraced_process(userspace_pid[0], 1); | ||||
19 | else { | ||||
20 | struct task_struct *p; | ||||
21 | int pid, me; | ||||
22 | |||||
23 | me = os_getpid(); | ||||
24 | for_each_process(p){ | ||||
25 | if(p->mm == NULL) | ||||
26 | continue; | ||||
27 | |||||
28 | pid = p->mm->context.skas.id.u.pid; | ||||
29 | os_kill_ptraced_process(pid, 1); | ||||
30 | } | ||||
31 | } | ||||
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 32 | } |
33 | |||||
34 | void uml_cleanup(void) | ||||
35 | { | ||||
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame^] | 36 | kmalloc_ok = 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | do_uml_exitcalls(); |
Jeff Dike | 026549d | 2005-06-25 14:55:23 -0700 | [diff] [blame] | 38 | kill_off_processes(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 39 | } |
40 | |||||
41 | void machine_restart(char * __unused) | ||||
42 | { | ||||
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame^] | 43 | uml_cleanup(); |
Jeff Dike | 6aa802c | 2007-10-16 01:26:56 -0700 | [diff] [blame] | 44 | reboot_skas(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | } |
46 | |||||
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 47 | void machine_power_off(void) |
48 | { | ||||
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame^] | 49 | uml_cleanup(); |
Jeff Dike | 6aa802c | 2007-10-16 01:26:56 -0700 | [diff] [blame] | 50 | halt_skas(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 51 | } |
52 | |||||
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 53 | void machine_halt(void) |
54 | { | ||||
55 | machine_power_off(); | ||||
56 | } |