Symbol: db_pool_print_cmd
sys/ddb/db_command.c
217
static void db_pool_print_cmd(db_expr_t, bool, db_expr_t, const char *);
sys/ddb/db_command.c
304
{ DDB_ADD_CMD("pool", db_pool_print_cmd, 0,