fmrx
fpexc = fmrx(fpexc);
fpexc = fmrx(fpexc);
fpsid = fmrx(fpsid); /* read the vfp system id */
tmp = fmrx(mvfr0);
tmp = fmrx(mvfr1);
fpexc = fmrx(fpexc);
fpexc = fmrx(fpexc); /* Is the vfp enabled? */
vfpsave->fpscr = fmrx(fpscr);
vfpsave->fpinst = fmrx(fpinst);
vfpsave->fpinst2 = fmrx(fpinst2);
tmp = fmrx(fpexc);
fpexc = fmrx(fpexc);