int32_to_floatx80   85 arch/arm/nwfpe/fpa11_cprt.c 			fpa11->fpreg[getFn(opcode)].fExtended = int32_to_floatx80(readRegister(getRd(opcode)));
int32_to_floatx80  130 arch/arm/nwfpe/softfloat.h floatx80 int32_to_floatx80( signed int );