Symbol: db_watchpoint_free
sys/ddb/db_watch.c
150
db_watchpoint_free(watch);
sys/ddb/db_watch.c
61
static void db_watchpoint_free(db_watchpoint_t watch);