entrylo            58 kern/arch/mips/include/tlb.h void tlb_random(uint32_t entryhi, uint32_t entrylo);
entrylo            59 kern/arch/mips/include/tlb.h void tlb_write(uint32_t entryhi, uint32_t entrylo, uint32_t index);
entrylo            60 kern/arch/mips/include/tlb.h void tlb_read(uint32_t *entryhi, uint32_t *entrylo, uint32_t index);
entrylo            61 kern/arch/mips/include/tlb.h int tlb_probe(uint32_t entryhi, uint32_t entrylo);