sched_print_list 61 kernel/generic/include/proc/scheduler.h extern void sched_print_list(void); sched_print_list 1289 kernel/generic/src/console/cmd.c sched_print_list();