Synopsis
int16_t __int16_mul(int16_t muliplicand,
                    int16_t multiplier);
Description

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