Changes in kernel/arch/mips32/src/mm/tlb.c [8f80c77:a000878c] 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.
@@ -367 +369 @@
         entry_hi_t hi;
         pte_t *pte;
-
-        ASSERT(mutex_locked(&AS->lock));
 
         hi.value = cp0_entry_hi_read();