__divmodsi3 47 boot/genarch/include/genarch/division.h extern int __divmodsi3(int, int, int *); __divmodsi3 58 kernel/genarch/include/genarch/softint/division.h extern int __divmodsi3(int, int, int *);