Symbol: sched_print_runqueue
sys/ddb/db_xxx.c
314
sched_print_runqueue(db_printf);
sys/sys/sched.h
267
void sched_print_runqueue(void (*pr)(const char *, ...)