Function tlb_write_indexed

freebsd/mips/mips/tlb.c:86–91

}

static inline void
tlb_write_indexed(void)
{
	__asm __volatile ("tlbwi" : : : "memory");
	mips_cp0_sync();
}

static void tlb_invalidate_one(unsigned);