Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision 98000fb4ea6015506f059c9b121e417ce991ecfd)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision 91001e26b14a5356ec8cf4cdeb642890b919a12d)
@@ -321,8 +321,6 @@
 void tlb_refill_fail(istate_t *istate)
 {
-	char *symbol, *sym2;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-	sym2 = symtab_fmt_name_lookup(istate->ra);
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	const char *sym2 = symtab_fmt_name_lookup(istate->ra);
 	
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
@@ -335,8 +333,6 @@
 void tlb_invalid_fail(istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
 	    cp0_badvaddr_read());
@@ -347,8 +343,6 @@
 void tlb_modified_fail(istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->epc);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->epc);
+	
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
 	    cp0_badvaddr_read());