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