Symbol: floatx80_mul
lib/libc/softfloat/bits64/softfloat.c
3843
floatx80 floatx80_mul( floatx80 a, floatx80 b )
lib/libc/softfloat/softfloat-for-gcc.h
39
#define floatx80_mul __mulxf3
sys/lib/libkern/softfloat.c
3695
floatx80 floatx80_mul( floatx80 a, floatx80 b )