int32_t __int32_mul_asgn(int32_t *muliplicand, int32_t multiplier);
__int32_mul_asgn updates the 32-bit signed integer pointed to by multiplicand by multiplying it by multiplier. The product is returned as the result. As only the lower 32 bits of the product are returned, __int32_mul_asgn returns correct products, modulo 32 bits, for both signed and unsigned arguments.