__INITIAL_FPUCW__
{ 0xffff0000 | __INITIAL_FPUCW__,
pcb->pcb_initial_fpucw = __INITIAL_FPUCW__;
control = __INITIAL_FPUCW__;
if (pcb->pcb_initial_fpucw != __INITIAL_FPUCW__)