HelenOS sources

task_print_list   155 kernel/generic/include/proc/task.h extern void task_print_list(bool);
task_print_list  1255 kernel/generic/src/console/cmd.c 		task_print_list(true);
task_print_list  1257 kernel/generic/src/console/cmd.c 		task_print_list(false);