float32_mul
float32 float32_mul( float32, float32 ) __dso_protected;
time_abz_float32( float32_mul );
float32_add, float32_sub, float32_mul, float32_div,
dest.sng = float32_mul(arg1.sng, arg2.sng);
dest.sng = float32_mul(arg1.sng, arg2.sng);
float32_mul((float32)raw1, (float32)raw2),
float32_mul((float32)raw1, (float32)raw2),
float32 f32 = float32_mul((float32)raw1, (float32)raw2);
float32_mul((float32)raw1, (float32)raw2),
float32_mul((float32)raw1, (float32)raw2),
float32 float32_mul( float32, float32 );