#include <cruntime.h>
uint32_t __uint32_mul_16x16(uint16_t muliplicand, uint16_t multiplier);
__uint32_mul_16x16 multiplies multiplicand by multiplier and returns the 64-bit unsigned product as the result.
__uint32_mul_16x16 may not be provided on all implementations of CrossWorks.