HelenOS sources

root/boot/arch/ia64/include/arch/

[..]
arch.h asm.h main.h pal.h sal.h
ski.h types.h
[..]
HelenOS homepage, sources at GitHub