HelenOS sources

__umodsi3          44 boot/genarch/include/genarch/division.h extern unsigned int __umodsi3(unsigned int, unsigned int);
__umodsi3          55 kernel/genarch/include/genarch/softint/division.h extern unsigned int __umodsi3(unsigned int, unsigned int);