Synopsis
int32_t __int32_mul(int32_t muliplicand,
                    int32_t multiplier);
Description

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