HelenOS sources

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

[..]
config.h ddi.h elf_linux.h faddr.h fibril.h
fibril_context.h istate.h istate_struct.h msr.h regname.h
rtld/ stackarg.h syscall.h thread.h tls.h
[..]
HelenOS homepage, sources at GitHub