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