Changes in kernel/arch/mips32/src/mm/tlb.c [a000878c:8f80c77] in mainline

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (2 diffs)

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

@@ -353 +353 @@
 /** Try to find PTE for faulting address.
  *
- * The AS->lock must be held on entry to this function.
- *
  * @param badvaddr      Faulting virtual address.
  * @param access        Access mode that caused the fault.
@@ -369 +367 @@
         entry_hi_t hi;
         pte_t *pte;
+
+        ASSERT(mutex_locked(&AS->lock));
 
         hi.value = cp0_entry_hi_read();