__aeabi_idiv, Где располагается функция? Опции

[Xim73]

Доброго времени суток!

Решил посмотреть во что компилируется мой код и увидел следующее:

Код

        SECTION `.text`:CODE:NOROOT(2)
        ARM
//   13 int main (void)
//   14 {
main:
        PUSH     {R4,LR}
//   15   int a=10;
        MOV      R0,#+10
//   16   int b =3;
        MOV      R1,#+3
//   17   int c = a/b;
        BL       __aeabi_idiv
        MOVS     R4,R0

Как я понимаю, это вспомогательная функция, реализующая операцию деления двух целых чисел, ведь процессор делить не умеет.
Хотел посмотреть код данной функции, но не нашёл никакого упоминания о ней ни в исходниках библиотеки IAR, ни в документации к IARу. Может кто-нибудь знает где она находится?

Заранее благодарю за ответ