HelenOS sources

root/kernel/arch/arm32/include/arch/

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