Changes in kernel/arch/ppc32/src/mm/tlb.c [8f80c77:5b8016d] in mainline

File:

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

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

@@ -111 +111 @@
 static void pht_refill_fail(uintptr_t badvaddr, istate_t *istate)
 {
-        const char *symbol = symtab_fmt_name_lookup(istate->pc);
-        const char *sym2 = symtab_fmt_name_lookup(istate->lr);
-        
-        fault_if_from_uspace(istate,
-            "PHT Refill Exception on %p.", badvaddr);
-        panic("%p: PHT Refill Exception at %p (%s<-%s).", badvaddr,
-            istate->pc, symbol, sym2);
+        fault_if_from_uspace(istate, "PHT Refill Exception on %p.", badvaddr);
+        panic_memtrap(istate, PF_ACCESS_READ, badvaddr,
+            "PHT Refill Exception.");
 }
 
@@ -209 +205 @@
  *
  */
-void pht_refill(int n, istate_t *istate)
+void pht_refill(unsigned int n, istate_t *istate)
 {
         as_t *as = (AS == NULL) ? AS_KERNEL : AS;
@@ -260 +256 @@
  *
  */
-bool pht_refill_real(int n, istate_t *istate)
+bool pht_refill_real(unsigned int n, istate_t *istate)
 {
         uintptr_t badvaddr;
@@ -366 +362 @@
  *
  */
-void tlb_refill_real(int n, uint32_t tlbmiss, ptehi_t ptehi, ptelo_t ptelo, istate_t *istate)
+void tlb_refill_real(unsigned int n, uint32_t tlbmiss, ptehi_t ptehi,
+    ptelo_t ptelo, istate_t *istate)
 {
         uint32_t badvaddr = tlbmiss & 0xfffffffc;