Index: kernel/arch/amd64/include/arch/interrupt.h
===================================================================
--- kernel/arch/amd64/include/arch/interrupt.h	(revision d4a829e15ff53d4529f6faccc7aa01dc9efccd08)
+++ kernel/arch/amd64/include/arch/interrupt.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -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;