floatx80_to_int32  126 arch/arm/nwfpe/fpa11_cprt.c 			writeRegister(getRd(opcode), floatx80_to_int32(&roundData, fpa11->fpreg[Fn].fExtended));
floatx80_to_int32  204 arch/arm/nwfpe/softfloat.h signed int floatx80_to_int32( struct roundingData *, floatx80 );