PSL_FE_PREC
(new ? PSL_FE_PREC : PSL_FE_DIS);
if ((pcb->pcb_flags & PSL_FE_PREC) == 0)
msr |= (pcb->pcb_flags & PSL_FE_PREC);
if (!PSL_USEROK_P(msr & ~PSL_FE_PREC))
pcb->pcb_flags &= ~PSL_FE_PREC;
pcb->pcb_flags |= msr & PSL_FE_PREC;