SYS_FPMR
write_sysreg_s(current->thread.uw.fpmr, SYS_FPMR);
*(last->fpmr) = read_sysreg_s(SYS_FPMR);
ctxt_sys_reg(hctxt, FPMR) = read_sysreg_s(SYS_FPMR);
write_sysreg_s(__vcpu_sys_reg(vcpu, FPMR), SYS_FPMR);
write_sysreg_s(ctxt_sys_reg(hctxt, FPMR), SYS_FPMR);
__vcpu_assign_sys_reg(vcpu, FPMR, read_sysreg_s(SYS_FPMR));
{ SYS_DESC(SYS_FPMR), undef_access, reset_val, FPMR, 0, .visibility = fp8_visibility },
"mrs %0, " SYS_FPMR "\n"