db_watchpoint_t
db_watchpoint_t watch;
db_watchpoint_t *prev;
db_watchpoint_t watch;
db_watchpoint_t watch;
db_watchpoint_t db_next_free_watchpoint = &db_watch_table[0];
db_watchpoint_t db_free_watchpoints = 0;
db_watchpoint_t db_watchpoint_list = 0;
db_watchpoint_t
db_watchpoint_t watch;
db_watchpoint_free(db_watchpoint_t watch)
db_watchpoint_t watch;
db_watchpoint_t db_watchpoint_alloc(void);
void db_watchpoint_free(db_watchpoint_t);