Symbol: mul128To256
lib/libc/softfloat/bits64/softfloat.c
5066
mul128To256( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1, &zSig2, &zSig3 );
sys/lib/libkern/softfloat.c
4841
mul128To256( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1, &zSig2, &zSig3 );