Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision f8390708a95509e2b2ba2c40771e07efdce1688d)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -114,10 +114,7 @@
 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);