VFPSCR_DN
thread0.td_pcb->pcb_vfpstate.fpscr = VFPSCR_DN;
uint32_t initial_fpscr = VFPSCR_DN | VFPSCR_FZ;