HelenOS sources

thread_print_list  282 kernel/generic/include/proc/thread.h extern void thread_print_list(bool);
thread_print_list 1237 kernel/generic/src/console/cmd.c 		thread_print_list(true);
thread_print_list 1239 kernel/generic/src/console/cmd.c 		thread_print_list(false);