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 0ac99db3cfe5485b8b7db65da7c3aaa474443d22)
@@ -369,4 +369,6 @@
 	entry_hi_t hi;
 	pte_t *pte;
+
+	ASSERT(mutex_locked(&AS->lock));
 
 	hi.value = cp0_entry_hi_read();