Symbol: db_delete_watchpoint
sys/ddb/db_watch.c
152
db_delete_watchpoint(addr);
sys/ddb/db_watch.h
48
void db_delete_watchpoint(vaddr_t);