Symbol: float128_to_floatx80
lib/libc/softfloat/softfloat.h
292
floatx80 float128_to_floatx80( float128 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2358
time_a_float128_z_floatx80( float128_to_floatx80 );
sys/lib/libkern/softfloat.h
341
floatx80 float128_to_floatx80( float128 );