dt_regset_assert_free
dt_regset_assert_free(pcb->pcb_regs);
extern void dt_regset_assert_free(dt_regset_t *);