Symbol: db_deletewatch_cmd
sys/ddb/db_command.c
683
{ "dwatch", db_deletewatch_cmd, 0, NULL },
sys/ddb/db_watch.h
50
void db_deletewatch_cmd(db_expr_t, int, db_expr_t, char *);