Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 33adc6cee65f3348f47bb71ac5a3982b0572e68e)
+++ kernel/generic/include/proc/task.h	(revision 0f24c57e045c0cbbc79a5fa384ea221044ac03db)
@@ -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);