Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision f6377f722eaf2e019d585b85b3ffc5620c32f2bd)
+++ kernel/arch/amd64/src/interrupt.c	(revision 65513a5ce7ed4c4905b958d303094f168b7df063)
@@ -66,5 +66,5 @@
 	char *symbol;
 
-	symbol = symtab_fmt_name_lookup((istate->rip);
+	symbol = symtab_fmt_name_lookup(istate->rip);
 
 	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__);