Symbol: float128_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
4669
floatx80 float128_to_floatx80( float128 a )
sys/lib/libkern/softfloat.c
4452
floatx80 float128_to_floatx80( float128 a )