restoretstate
extern void restoretstate(int, struct trapstate *);
restoretstate(DDB_REGS->db_tl, &DDB_REGS->db_ts[0]);