Symbol: float128_to_float64
lib/libc/softfloat/softfloat.h
290
float64 float128_to_float64( float128 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2354
time_a_float128_z_float64( float128_to_float64 );
sys/lib/libkern/softfloat.h
339
float64 float128_to_float64( float128 );