Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 33adc6cee65f3348f47bb71ac5a3982b0572e68e)
+++ kernel/generic/include/proc/task.h	(revision 218e50c7a52d90a76c3bc3e3a344733f5eeccfa0)
@@ -134,4 +134,5 @@
 extern int task_kill(task_id_t id);
 extern uint64_t task_get_accounting(task_t *t);
+extern void task_print_list(void);
 
 extern void cap_set(task_t *t, cap_t caps);