db_watchpoint_alloc  110 ddb/db_watch.c 	watch = db_watchpoint_alloc();
db_watchpoint_alloc   46 ddb/db_watch.h db_watchpoint_t db_watchpoint_alloc(void);