Synopsis
uint64_t __uint64_div(uint64_t dividend,
                      uint64_t divisor);
Description

__uint64_div divides dividend by divisor and returns the unsigned quotient, truncated towards zero, as the result.