et_hwrest
et_hwrest(&sa->sv_regs);
et_hwrest(regs);
void et_hwrest(et_sv_reg_t *);
et_hwrest(etregs);