uint64_t __uint64_mod_asgn(uint64_t *dividend,
uint64_t divisor);__uint64_mod_asgn updates the 64-bit unsigned integer pointed to by dividend by assigning it the remainder after division of dividend by divisor. The remainder is returned as the result.