Symbol: db_restart_at_pc
sys/ddb/db_main.c
271
db_restart_at_pc(watchpt);
sys/ddb/ddb.h
253
void db_restart_at_pc(bool watchpt);