Symbol: int64_to_floatx80
lib/libc/softfloat/softfloat.h
136
floatx80 int64_to_floatx80( long long ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2137
time_a_int64_z_floatx80( int64_to_floatx80 );
sys/lib/libkern/softfloat.h
174
floatx80 int64_to_floatx80( int64_t );