get_psr
put_psr(get_psr() | PSR_EF); \
psr_impl = ((get_psr() >> PSR_IMPL_SHIFT) & PSR_IMPL_SHIFTED_MASK);
psr_vers = ((get_psr() >> PSR_VERS_SHIFT) & PSR_VERS_SHIFTED_MASK);
psr = get_psr();
fpu_vers = get_psr() & PSR_EF ? ((get_fsr() >> 17) & 0x7) : 7;
put_psr(get_psr() | PSR_EF);
put_psr(get_psr() | PSR_EF);
put_psr(get_psr() | PSR_EF);
psr = childregs->psr = get_psr();
put_psr(get_psr() | PSR_EF);
put_psr(get_psr() | PSR_EF);
put_psr(get_psr() | PSR_EF); /* Allow FPU ops. */
put_psr(get_psr() | PSR_EF);
mreg = srmmu_get_mmureg(); psr = get_psr();