Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 1e00216b42ec36d97a169d4cf7053880fcb26aac)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision d88218b6b978b4b9c0af6d981084d56190d5754d)
@@ -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();