HelenOS sources

root/kernel/arch/arm64/include/arch/

[..]
arch.h asm.h barrier.h boot/ context.h
context_struct.h cpu.h cycle.h exception.h faddr.h
fpu_context.h fpu_context_struct.h interrupt.h istate.h istate_struct.h
mach/ machine_func.h mm/ proc/ regutils.h
stack.h types.h
[..]
HelenOS homepage, sources at GitHub