##### Synopsis

    #include <cruntime.h>
    int64_t __int64_mul(int64_t muliplicand, int64_t multiplier);

##### Description

__int64_mul multiplies multiplicand by multiplier and returns the product as the result. As only the lower 64 bits of the product are returned, __int64_mul returns correct products, modulo 64 bits, for both signed and unsigned arguments.

##### Portability

__int64_mul is a provided on all implementations of CrossWorks.