HelenOS sources

tlb_index_t       140 kernel/arch/mips32/src/mm/tlb.c 	tlb_index_t index;
tlb_index_t       204 kernel/arch/mips32/src/mm/tlb.c 	tlb_index_t index;
tlb_index_t       398 kernel/arch/mips32/src/mm/tlb.c 	tlb_index_t index;
HelenOS homepage, sources at GitHub