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

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (4 diffs)

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

@@ -323 +323 @@
         uintptr_t va = cp0_badvaddr_read();
         
-        fault_if_from_uspace(istate, "TLB Refill Exception on %p.", va);
+        fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
+            (void *) va);
         panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, "TLB Refill Exception.");
 }
@@ -332 +333 @@
         uintptr_t va = cp0_badvaddr_read();
         
-        fault_if_from_uspace(istate, "TLB Invalid Exception on %p.", va);
+        fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
+            (void *) va);
         panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, "TLB Invalid Exception.");
 }
@@ -340 +342 @@
         uintptr_t va = cp0_badvaddr_read();
         
-        fault_if_from_uspace(istate, "TLB Modified Exception on %p.", va);
+        fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
+            (void *) va);
         panic_memtrap(istate, PF_ACCESS_WRITE, va, "TLB Modified Exception.");
 }
@@ -554 +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();