Index: kernel/arch/amd64/include/arch/interrupt.h
===================================================================
--- kernel/arch/amd64/include/arch/interrupt.h	(revision bae43dceb647887d723d7a5e7253c545ad767440)
+++ kernel/arch/amd64/include/arch/interrupt.h	(revision 436a0a5d2cce1b5f7720cb379a4bd818e1599d4d)
@@ -81,5 +81,4 @@
 #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);