#include <cruntime.h> uint64_t __uint64_div(uint64_t dividend, uint64_t divisor);
__uint64_div divides dividend by divisor and returns the unsigned quotient, truncated towards zero, as the result.
__uint64_div is a provided on all implementations of CrossWorks.