Symbol: __ledf2
lib/libc/softfloat/ledf2.c
11
flag __ledf2(float64, float64);
lib/libc/softfloat/softfloat-for-gcc.h
143
#define float64_le __ledf2