HelenOS sources

root/boot/genarch/include/genarch/

[..]
division.h efi.h multiplication.h ofw.h ofw_tree.h
[..]
HelenOS homepage, sources at GitHub