multiplication.h 34 boot/genarch/src/multiplication.c #include <genarch/multiplication.h> multiplication.h 37 kernel/genarch/src/softint/multiplication.c #include <genarch/softint/multiplication.h>