Symbol: int32_to_floatx80
lib/libc/softfloat/softfloat.h
127
floatx80 int32_to_floatx80( int ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2121
time_a_int32_z_floatx80( int32_to_floatx80 );
sys/lib/libkern/softfloat.h
165
floatx80 int32_to_floatx80( int );