Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/amd64/src/interrupt.c	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
@@ -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__);