Symbol: int64_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
1314
floatx80 int64_to_floatx80( int64 a )
lib/libc/softfloat/softfloat-for-gcc.h
60
#define int64_to_floatx80 __floatdixf