Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision 49e6c6b48a1667db53d7a8cfba97659b95c83ea8)
+++ kernel/arch/ia32/include/interrupt.h	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
@@ -69,4 +69,5 @@
 #define VECTOR_TLB_SHOOTDOWN_IPI  (IVT_FREEBASE + 1)
 #define VECTOR_DEBUG_IPI          (IVT_FREEBASE + 2)
+#define VECTOR_SMP_CALL_IPI       (IVT_FREEBASE + 3)
 
 extern void (* disable_irqs_function)(uint16_t);
Index: kernel/arch/ia32/include/smp/smp_call.h
===================================================================
--- kernel/arch/ia32/include/smp/smp_call.h	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/arch/ia32/include/smp/smp_call.h	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
@@ -0,0 +1,8 @@
+
+#ifndef KERN_ia32_SMP_CALL_H_
+#define KERN_ia32_SMP_CALL_H_
+
+
+extern void arch_smp_call_ipi(unsigned int);
+
+#endif /*  KERN_amd64_SMP_CALL_H_ */