int32_to_float32   70 arch/arm/nwfpe/fpa11_cprt.c 			fpa11->fpreg[getFn(opcode)].fSingle = int32_to_float32(&roundData, readRegister(getRd(opcode)));
int32_to_float32  127 arch/arm/nwfpe/softfloat.h float32 int32_to_float32( struct roundingData *, signed int );