HelenOS sources

__divdi3          118 boot/genarch/src/division.c long long __divdi3(long long a, long long b)
__divdi3          121 kernel/genarch/src/softint/division.c long long __divdi3(long long a, long long b)
HelenOS homepage, sources at GitHub