Symbol: db_set_watchpoint
sys/ddb/db_watch.c
168
db_set_watchpoint(addr, size);
sys/ddb/db_watch.h
47
void db_set_watchpoint(vaddr_t, vsize_t);