Index: kernel/arch/amd64/include/arch/interrupt.h
===================================================================
--- kernel/arch/amd64/include/arch/interrupt.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/amd64/include/arch/interrupt.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -83,7 +83,7 @@
 #define VECTOR_SMP_CALL_IPI       (IVT_FREEBASE + 3)
 
-extern void (* disable_irqs_function)(uint16_t);
-extern void (* enable_irqs_function)(uint16_t);
-extern void (* eoi_function)(void);
+extern void (*disable_irqs_function)(uint16_t);
+extern void (*enable_irqs_function)(uint16_t);
+extern void (*eoi_function)(void);
 extern const char *irqs_info;