fmrx
fmxr(FPEXC, fmrx(FPEXC) & ~FPEXC_EN);
fmxr(FPEXC, fmrx(FPEXC) & ~FPEXC_EN);
fpexc = fmrx(FPEXC);
fmrx(FPEXC), fmrx(FPSCR), inst);
fpsid = fmrx(FPSID);
orig_fpscr = fpscr = fmrx(FPSCR);
trigger = fmrx(FPINST);
trigger = fmrx(FPINST2);
u32 fpexc = fmrx(FPEXC);
fmxr(FPEXC, fmrx(FPEXC) & ~FPEXC_EN);
fmxr(FPEXC, fmrx(FPEXC) & ~FPEXC_EN);
u32 fpexc = fmrx(FPEXC);
if (fmrx(FPEXC) & FPEXC_EN)
pr_crit("FPEXC == 0x%08x\n", fmrx(FPEXC));
fpexc = fmrx(FPEXC);
u32 fpscr = fmrx(FPSCR);
fpexc = fmrx(FPEXC) | FPEXC_EN;
fmxr(FPEXC, fmrx(FPEXC) & ~FPEXC_EN);
vfpsid = fmrx(FPSID);
(fmrx(MVFR1) & 0x000fff00) == 0x00011100) {
u32 mvfr0 = fmrx(MVFR0);
if ((fmrx(MVFR1) & 0xf0000000) == 0x10000000)
if (((fmrx(MVFR1) & MVFR1_ASIMDHP_MASK) >> MVFR1_ASIMDHP_BIT) == 0x2)
if (((fmrx(MVFR1) & MVFR1_FPHP_MASK) >> MVFR1_FPHP_BIT) == 0x3)
*fp_orig_val = fmrx(FPEXC);