Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision c0f13d2675d8c8db426acccaba56a4377f515dc3)
+++ kernel/generic/include/proc/thread.h	(revision 202dde5c16f70931060e5656272fd48d7071dc5b)
@@ -240,5 +240,5 @@
 
 extern void thread_register_call_me(void (*)(void *), void *);
-extern void thread_print_list(void);
+extern void thread_print_list(bool);
 extern void thread_destroy(thread_t *, bool);
 extern thread_t *thread_find_by_id(thread_id_t);