boot/genarch/include/genarch/multiplication.h kernel/genarch/include/genarch/softint/multiplication.h