HelenOS sources

root/boot/arch/arm64/include/arch/

[..]
arch.h asm.h barrier.h boot.h main.h
regutils.h relocate.h types.h
[..]
HelenOS homepage, sources at GitHub