Symbol: __gedf2
lib/libc/softfloat/gedf2.c
11
flag __gedf2(float64, float64);
lib/libc/softfloat/softfloat-for-gcc.h
141
#define float64_ge __gedf2