Symbol: db_list_watchpoints
sys/ddb/db_watch.c
175
db_list_watchpoints();
sys/ddb/db_watch.h
49
void db_list_watchpoints(void);