db_restart_at_pc   44 ddb/db_run.h   void db_restart_at_pc(db_regs_t *, boolean_t);
db_restart_at_pc   97 ddb/db_trap.c  	db_restart_at_pc(DDB_REGS, watchpt);