unpackdouble
unpackdouble(pfpsd, pu, tx, ty);
unpackdouble(pfpsd, pu, fp.f.double_reg, fp.y[1]);
extern void unpackdouble(fp_simd_type *, unpacked *, double_type, uint_t);