Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 304342e71a827f2aa2f3d2377ef7cc1d77e6c61a)
+++ kernel/arch/amd64/src/interrupt.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -65,8 +65,6 @@
 void decode_istate(int n, istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->rip);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->rip);
+	
 	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__);
 	printf("%%rip: %#llx (%s)\n", istate->rip, symbol);