Symbol: float64_to_floatx80
lib/libc/softfloat/softfloat.h
203
floatx80 float64_to_floatx80( float64 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2226
time_a_float64_z_floatx80( float64_to_floatx80 );
sys/lib/libkern/softfloat.h
238
floatx80 float64_to_floatx80( float64 );