Symbol: vfp_double_ftoui
arch/arm/vfp/vfpdouble.c
582
return vfp_double_ftoui(sd, unused, dm, FPSCR_ROUND_TOZERO);
arch/arm/vfp/vfpdouble.c
673
[FEXT_TO_IDX(FEXT_FTOUI)] = { vfp_double_ftoui, OP_SCALAR|OP_SD },