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