Symbol: db_tdb_print_cmd
sys/ddb/db_command.c
101
void db_tdb_print_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
643
{ "tdb", db_tdb_print_cmd, 0, NULL },