Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision fc4788545f82a1def816a3bc5940db8c6f0c1a9f)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision bd813861801556b8db9bf68757dadd65653cf582)
@@ -557,6 +557,7 @@
 	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();