db_set_watchpoint  188 ddb/db_watch.c 	db_set_watchpoint(db_map_addr(addr), addr, size);
db_set_watchpoint   48 ddb/db_watch.h void db_set_watchpoint(struct vm_map *, db_addr_t, vsize_t);