Symbol: module_print_list
sys/ddb/db_xxx.c
231
module_print_list(db_printf);
sys/sys/module.h
210
void module_print_list(void (*)(const char *, ...) __printflike(1, 2));