1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2000 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com)
6 #include <linux/sched/signal.h>
7 #include <linux/sched/task.h>
8 #include <linux/sched/mm.h>
9 #include <linux/spinlock.h>
10 #include <linux/slab.h>
11 #include <linux/oom.h>
12 #include <kern_util.h>
16 void (*pm_power_off
)(void);
17 EXPORT_SYMBOL(pm_power_off
);
19 static void kill_off_processes(void)
21 struct task_struct
*p
;
24 read_lock(&tasklist_lock
);
26 struct task_struct
*t
;
28 t
= find_lock_task_mm(p
);
31 pid
= t
->mm
->context
.id
.u
.pid
;
33 os_kill_ptraced_process(pid
, 1);
35 read_unlock(&tasklist_lock
);
38 void uml_cleanup(void)
45 void machine_restart(char * __unused
)
51 void machine_power_off(void)
57 void machine_halt(void)