db_delete_watchpoint 171 ddb/db_watch.c db_delete_watchpoint(db_map_addr(addr), addr); db_delete_watchpoint 49 ddb/db_watch.h void db_delete_watchpoint(struct vm_map *, db_addr_t);