Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 9f0fb84554fbd63dc9ce4dc9ce31b209431459f9)
@@ -95,8 +95,5 @@
 	
 	badvaddr = cp0_badvaddr_read();
-	
-	mutex_lock(&AS->lock);
 	asid = AS->asid;
-	mutex_unlock(&AS->lock);
 	
 	pte = find_mapping_and_check(badvaddr, PF_ACCESS_READ, istate, &pfrc);