Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 7f043c0d4fa344ed23d99c9baa9f11cdac734176)
+++ kernel/arch/amd64/src/interrupt.c	(revision 8b243f295e54de841c17a2606bdc9a2fe484dbbb)
@@ -70,5 +70,5 @@
 		symbol = "";
 
-	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n",n, __FUNCTION__);
+	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n",n, __func__);
 	printf("%%rip: %#llx (%s)\n",istate->rip, symbol);
 	printf("ERROR_WORD=%#llx\n", istate->error_word);