HelenOS sources

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

[..]
arch.h asm.h cpu.h hypercall.h ipi.h
md.h regdef.h register.h
[..]
HelenOS homepage, sources at GitHub