tf_fpit
s->tf_fppt, s->tf_fprh, s->tf_fprl, s->tf_fpit);
switch ((frame->tf_fpit >> 11) & 0x1f) {
if (frame->tf_fpit & FPIT_DBL)
exp = ((int32_t)frame->tf_fpit) >> 20; /* signed, unbiased exponent */
fpu_store(frame, frame->tf_fpit & 0x1f, fmt, fmt, &res);
f->tf_fppt, f->tf_fprh, f->tf_fprl, f->tf_fpit);