Symbol: db_delete_cmd
sys/ddb/db_break.h
57
void db_delete_cmd(db_expr_t, int, db_expr_t, char *);
sys/ddb/db_command.c
680
{ "delete", db_delete_cmd, 0, NULL },
sys/ddb/db_command.c
681
{ "d", db_delete_cmd, 0, NULL },