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