Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision aaa6af2098599ae3cc834cd51daf1251c7a88508)
@@ -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);