HelenOS sources

root/kernel/arch/sparc64/include/arch/mm/sun4u/

[..]
as.h frame.h km.h mmu.h tlb.h
tsb.h tte.h
[..]
HelenOS homepage, sources at GitHub