HelenOS sources

mmu_secondary_context_read  302 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h _NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
mmu_secondary_context_read  108 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h _NO_TRACE static inline uint64_t mmu_secondary_context_read(void)
HelenOS homepage, sources at GitHub