float64_mul
float64 AEABI_FUNC2(dmul, float64, float64_mul)
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
time_abz_float64( float64_mul );