Synopsis
uint32_t __uint32_div_asgn(uint32_t *dividend,
                           uint32_t divisor);
Description

__uint32_div_asgn updates the 32-bit unsigned integer pointed to by dividend by dividing it by divisor and truncated towards zero. The quotient is returned as the result.