Symbol: floatx80_to_float64
lib/libc/softfloat/softfloat.h
243
float64 floatx80_to_float64( floatx80 ) __dso_protected;
lib/libc/softfloat/timesoftfloat.c
2290
time_a_floatx80_z_float64( floatx80_to_float64 );
sys/lib/libkern/softfloat.h
292
float64 floatx80_to_float64( floatx80 );