fpu_upd_fpsr
fpu_upd_fpsr(fe, res);
uint32_t fpu_upd_fpsr(struct fpemu *, struct fpn *);
(void)fpu_upd_fpsr(fe, &fe->fe_f3);