HelenOS sources

root/uspace/lib/c/arch/abs32le/include/libarch/

[..]
config.h context_offset.h ddi.h elf_linux.h faddr.h
fibril.h fibril_context.h istate.h syscall.h thread.h
tls.h
[..]
HelenOS homepage, sources at GitHub