Changes in kernel/arch/mips32/src/mm/tlb.c [bd81386:c15b374] 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.",
-            (void *) va);
+        fault_if_from_uspace(istate, "TLB Refill Exception on %p.", va);
         panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, "TLB Refill Exception.");
 }
@@ -333 +332 @@
         uintptr_t va = cp0_badvaddr_read();
         
-        fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
-            (void *) va);
+        fault_if_from_uspace(istate, "TLB Invalid Exception on %p.", va);
         panic_memtrap(istate, PF_ACCESS_UNKNOWN, va, "TLB Invalid Exception.");
 }
@@ -342 +340 @@
         uintptr_t va = cp0_badvaddr_read();
         
-        fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
-            (void *) va);
+        fault_if_from_uspace(istate, "TLB Modified Exception on %p.", va);
         panic_memtrap(istate, PF_ACCESS_WRITE, va, "TLB Modified Exception.");
 }
@@ -557 +554 @@
         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();