uint64_t __uint64_div_asgn(uint64_t *dividend, uint64_t divisor);
__uint64_div_asgn updates the 64-bit unsigned integer pointed to by dividend by dividing it by divisor and truncated towards zero. The quotient is returned as the result.