Changes in kernel/arch/mips32/src/mm/tlb.c [bd81386:7e752b2] in mainline

File:

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

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

@@ -557 +557 @@
         entry_hi_t hi, hi_save;
         tlb_index_t index;
-        
-        if (asid == ASID_INVALID)
-                return;
+
+        ASSERT(asid != ASID_INVALID);
 
         hi_save.value = cp0_entry_hi_read();