Synopsis
int32_t __int32_div(int32_t dividend,
                    int32_t divisor);
Description

__int32_div divides dividend by divisor and returns the signed quotient, truncated towards zero, as the result.