HelenOS sources

__udivdi3          39 boot/genarch/include/genarch/division.h extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
__udivdi3          50 kernel/genarch/include/genarch/softint/division.h extern unsigned long long __udivdi3(unsigned long long, unsigned long long) DO_NOT_DISCARD;