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