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