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