Synopsis
uint32_t __uint32_mul_16x16(uint16_t muliplicand,
                            uint16_t multiplier);
Description

__uint32_mul_16x16 multiplies multiplicand by multiplier and returns the 32-bit unsigned product as the result.