Symbol: mqueue_print_list
sys/ddb/db_xxx.c
220
mqueue_print_list(db_printf);
sys/sys/mqueue.h
112
void mqueue_print_list(void (*pr)(const char *, ...) __printflike(1, 2));