vserver 1.9.5.x5
[linux-2.6.git] / arch / um / include / os.h
index 8c40112..07340c8 100644 (file)
@@ -157,6 +157,7 @@ extern unsigned long os_process_pc(int pid);
 extern int os_process_parent(int pid);
 extern void os_stop_process(int pid);
 extern void os_kill_process(int pid, int reap_child);
+extern void os_kill_ptraced_process(int pid, int reap_child);
 extern void os_usr1_process(int pid);
 extern int os_getpid(void);