__modsi3 41 boot/genarch/include/genarch/division.h extern int __modsi3(int, int); __modsi3 52 kernel/genarch/include/genarch/softint/division.h extern int __modsi3(int, int);