floatx80_mul
[MUF_CODE >> 20] = floatx80_mul,
[FML_CODE >> 20] = floatx80_mul,
floatx80 floatx80_mul( struct roundingData *, floatx80, floatx80 );