Symbol: floatx80_to_float32
lib/libc/softfloat/bits64/softfloat.c
3449
float32 floatx80_to_float32( floatx80 a )
lib/libc/softfloat/softfloat-for-gcc.h
122
#define floatx80_to_float32 __truncxfsf2