Symbol: floatx80_to_float128
lib/libc/softfloat/bits64/softfloat.c
3559
float128 floatx80_to_float128( floatx80 a )
sys/lib/libkern/softfloat.c
3421
float128 floatx80_to_float128( floatx80 a )