Symbol: uint32_to_floatx80
lib/libc/softfloat/bits64/softfloat.c
1209
floatx80 uint32_to_floatx80( uint32 a )
lib/libc/softfloat/softfloat-for-gcc.h
71
#define uint32_to_floatx80 __floatunsixf