HelenOS sources

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