HelenOS sources

root/kernel/arch/ia64/include/arch/

[..]
arch.h asm.h barrier.h bootinfo.h context.h
context_struct.h cpu.h cycle.h drivers/ faddr.h
fpu_context.h interrupt.h istate.h istate_struct.h legacyio.h
mm/ pal/ proc/ register.h stack.h
types.h
[..]
HelenOS homepage, sources at GitHub