Symbol: __aeabi_dcmpge
lib/libc/arch/arm/softfloat/__aeabi_dcmpge.c
16
int __aeabi_dcmpge(float64, float64);
sys/arch/arm/include/aeabi.h
62
int __aeabi_dcmpge(double, double) __aapcs; // result (1, 0) denotes (>=, <) [2], use for C >=