dt_regset_destroy
dt_regset_destroy(pcb->pcb_regs);
dt_regset_destroy(drp);
extern void dt_regset_destroy(dt_regset_t *);