Symbol: db_help_cmd
sys/ddb/db_command.c
106
void db_help_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
700
{ "help", db_help_cmd, 0, NULL },