HelenOS sources

root/kernel/arch/sparc64/include/arch/mm/sun4v/

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