division.h 32 boot/genarch/src/division.c #include <genarch/division.h> division.h 35 kernel/genarch/src/softint/division.c #include <genarch/softint/division.h>