Synopsis
int64_t __int64_mul_32x32(int32_t muliplicand,
                          int32_t multiplier);
Description

this multiplies multiplicand by multiplier and returns the 64-bit signed product as the result.