__divsi3 35 boot/genarch/include/genarch/division.h extern int __divsi3(int, int); __divsi3 46 kernel/genarch/include/genarch/softint/division.h extern int __divsi3(int, int);