PSR_EF
put_psr(get_psr() | PSR_EF); \
(prv)->thread.kregs->psr &= ~PSR_EF; \
(nxt)->thread.kregs->psr&=~PSR_EF; \
put_psr(psr | PSR_EF);
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);
childregs->psr &= ~PSR_EF;
psr |= PSR_EF;
if (psr & PSR_EF) {
psr |= PSR_EF;
if (psr & PSR_EF) {
regs->psr = (up_psr & ~(PSR_ICC | PSR_EF))
| (regs->psr & (PSR_ICC | PSR_EF));
psr |= PSR_EF;
if (psr & PSR_EF) {
put_psr(get_psr() | PSR_EF);
regs->psr &= ~(PSR_EF);
put_psr(get_psr() | PSR_EF);
regs->psr &= ~(PSR_EF);
regs->psr &= ~PSR_EF;
regs->psr &= ~PSR_EF;
put_psr(get_psr() | PSR_EF); /* Allow FPU ops. */
regs->psr |= PSR_EF;
put_psr(get_psr() | PSR_EF);
regs->psr &= ~PSR_EF;
regs->psr &= ~PSR_EF;