HelenOS sources

__divdi3           36 boot/genarch/include/genarch/division.h extern long long __divdi3(long long, long long);
__divdi3           47 kernel/genarch/include/genarch/softint/division.h extern long long __divdi3(long long, long long);
HelenOS homepage, sources at GitHub