PSR_EF
if ((tf->tf_psr & PSR_EF) != 0 && cpuinfo.fplwp != l)
tf->tf_psr &= ~PSR_EF;
if ((tf->tf_psr & PSR_EF) != 0) {
tf->tf_psr &= ~PSR_EF;
setpsr(getpsr() & ~PSR_EF);
if ((tf->tf_psr & PSR_EF) != 0) {
tf->tf_psr &= ~PSR_EF;
setpsr(getpsr() & ~PSR_EF);
if (type != T_FPDISABLED && (tf->tf_psr & PSR_EF) != 0) {
tf->tf_psr &= ~PSR_EF;
setpsr(getpsr() & ~PSR_EF);
tf->tf_psr |= PSR_EF;
if ((tf->tf_psr & PSR_EF) != 0) {
tf->tf_psr &= ~PSR_EF;
setpsr(getpsr() & ~PSR_EF);