vfp_single_ftosi
return vfp_single_ftosi(sd, unused, m, FPSCR_ROUND_TOZERO);
[FEXT_TO_IDX(FEXT_FTOSI)] = { vfp_single_ftosi, OP_SCALAR },