db_delete_breakpoint
db_delete_breakpoint(db_map_addr(addr), (db_addr_t)addr);
static void db_delete_breakpoint(struct vm_map *, db_addr_t);