Changes in kernel/arch/ppc32/src/mm/tlb.c [eae4e8f:a000878c] in mainline

File:

• kernel/arch/ppc32/src/mm/tlb.c (modified) (1 diff)

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

@@ -114 +114 @@
 static void pht_refill_fail(uintptr_t badvaddr, istate_t *istate)
 {
-        char *symbol;
-        char *sym2;
-
-        symbol = symtab_fmt_name_lookup(istate->pc);
-        sym2 = symtab_fmt_name_lookup(istate->lr);
-
+        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);