Symbol: db_watchpoint_alloc
sys/ddb/db_watch.c
116
watch = db_watchpoint_alloc();
sys/ddb/db_watch.c
65
static db_watchpoint_t db_watchpoint_alloc(void);