HelenOS sources

tlbp              147 kernel/arch/mips32/src/mm/tlb.c 	tlbp();
tlbp              213 kernel/arch/mips32/src/mm/tlb.c 	tlbp();
tlbp              411 kernel/arch/mips32/src/mm/tlb.c 		tlbp();