Symbol: int32_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
1183
floatx80 int32_to_floatx80( int32 a )
lib/libc/softfloat/softfloat-for-gcc.h
55
#define int32_to_floatx80 __floatsixf