Synopsis
#include <cruntime.h>
uint64_t __uint64_mul_32x32(uint32_t muliplicand, uint32_t multiplier);
Description

__uint64_mul_32x32 multiplies multiplicand by multiplier and returns the 64-bit unsigned product as the result.

Portability

__uint64_mul_32x32 may not be provided on all implementations of CrossWorks.