float64_to_int32  119 arch/arm/nwfpe/fpa11_cprt.c 			writeRegister(getRd(opcode), float64_to_int32(&roundData, fpa11->fpreg[Fn].fDouble));
float64_to_int32  170 arch/arm/nwfpe/softfloat.h signed int float64_to_int32( struct roundingData *, float64 );