Symbol: float32_to_floatx80
lib/libc/softfloat/softfloat.h
159
floatx80 float32_to_floatx80( float32 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2162
time_a_float32_z_floatx80( float32_to_floatx80 );
sys/lib/libkern/softfloat.h
194
floatx80 float32_to_floatx80( float32 );