Changes in kernel/arch/mips32/src/mm/tlb.c [54a7a20:aaa6af2] in mainline

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (1 diff)

kernel/arch/mips32/src/mm/tlb.c

@@ -95 +95 @@
         
         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);