VFPCR_INIT
pcb->pcb_fpustate.vfp_fpcr = VFPCR_INIT;
thread0.td_pcb->pcb_fpusaved->vfp_fpcr = VFPCR_INIT;