int32_to_float64   77 arch/arm/nwfpe/fpa11_cprt.c 			fpa11->fpreg[getFn(opcode)].fDouble = int32_to_float64(readRegister(getRd(opcode)));
int32_to_float64  128 arch/arm/nwfpe/softfloat.h float64 int32_to_float64( signed int );