Symbol: floatx80_mul
lib/libc/softfloat/bits64/softfloat.c
3791
floatx80 floatx80_mul( floatx80 a, floatx80 b )
lib/libc/softfloat/softfloat-for-gcc.h
38
#define floatx80_mul __mulxf3