Changeset bd81386 in mainline

Timestamp:

2011-02-03T20:18:11Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e950803

Parents:

fc47885

Message:

tlb_invalidate_pages can be actually called with asid == ASID_INVALID
(if destroying an address space which has never been used)

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;
-
-        ASSERT(asid != ASID_INVALID);
+        
+        if (asid == ASID_INVALID)
+                return;
 
         hi_save.value = cp0_entry_hi_read();