Symbol: float64_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
2535
floatx80 float64_to_floatx80( float64 a )
lib/libc/softfloat/softfloat-for-gcc.h
116
#define float64_to_floatx80 __extenddfxf2