Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 009536837631ac26b2e7a16e52b4c9525d2cd095)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision f8d07859b6017d3d1d14299d1d1d20ec6b269e69)
@@ -369,4 +369,6 @@
 	entry_hi_t hi;
 	pte_t *pte;
+
+	ASSERT(mutex_locked(&AS->lock));
 
 	hi.value = cp0_entry_hi_read();