Index: kernel/arch/ia32/include/arch/interrupt.h
===================================================================
--- kernel/arch/ia32/include/arch/interrupt.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/ia32/include/arch/interrupt.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -85,7 +85,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;
 
Index: kernel/arch/ia32/include/arch/smp/smp.h
===================================================================
--- kernel/arch/ia32/include/arch/smp/smp.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/ia32/include/arch/smp/smp.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
@@ -42,5 +42,5 @@
 struct smp_config_operations {
 	/** Check whether a processor is enabled. */
-	bool (* cpu_enabled)(size_t);
+	bool (*cpu_enabled)(size_t);
 	
 	/** Check whether a processor is BSP. */