Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision c0f13d2675d8c8db426acccaba56a4377f515dc3)
+++ kernel/generic/include/proc/thread.h	(revision 4ff284b157b4b3e0c87a5bc150a3edf88e238c26)
@@ -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);