Symbol: floatx80_add
lib/libc/softfloat/bits64/softfloat.c
3747
floatx80 floatx80_add( floatx80 a, floatx80 b )
lib/libc/softfloat/softfloat-for-gcc.h
28
#define floatx80_add __addxf3