Changes in kernel/arch/mips32/src/mm/tlb.c [aaa6af2:54a7a20] 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);