tlb_invalid 171 kernel/arch/mips32/include/arch/mm/tlb.h extern void tlb_invalid(istate_t *istate); tlb_invalid 150 kernel/arch/mips32/src/exception.c tlb_invalid(istate);