__fpu_ftoq
uint32_t __fpu_ftoq(struct fpemu *, struct fpn *, uint32_t *);
space[0] = __fpu_ftoq(fe, fp, space);
c[0] = __fpu_ftoq(&fe, r, c);
c[0] = __fpu_ftoq(&fe, r, c); \
c[0] = __fpu_ftoq(&fe, &fe.fe_f1, c); \