dtlb_tag_read_read 402 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h _NO_TRACE static inline uint64_t dtlb_tag_read_read(size_t entry) dtlb_tag_read_read 508 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h _NO_TRACE static inline uint64_t dtlb_tag_read_read(int tlb, size_t entry)HelenOS homepage, sources at GitHub