#include <cruntime.h> int64_t __int64_mul_32x32(int32_t muliplicand, int32_t multiplier);
__int64_mul_32x32 multiplies multiplicand by multiplier and returns the 64-bit signed product as the result.
__int64_mul_32x32 may not be provided on all implementations of CrossWorks.