Symbol: floatx80_to_float32
lib/libc/softfloat/softfloat.h
242
float32 floatx80_to_float32( floatx80 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2287
time_a_floatx80_z_float32( floatx80_to_float32 );
sys/lib/libkern/softfloat.h
291
float32 floatx80_to_float32( floatx80 );