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

__uint64_mod divides dividend by divisor and returns the unsigned remainder after division as the result.