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