Symbol: __gexf2
lib/libc/softfloat/gexf2.c
18
flag __gexf2(floatx80, floatx80);
lib/libc/softfloat/softfloat-for-gcc.h
154
#define floatx80_ge __gexf2