Symbol: syst_floatx80_to_float64
regress/lib/libc/ieeefp/testfloat/include/systfloat.h
221
float64 syst_floatx80_to_float64( floatx80 );
regress/lib/libc/ieeefp/testfloat/testFunction.c
952
floatx80_to_float64, syst_floatx80_to_float64 );