Index: kernel/arch/amd64/Makefile.inc
===================================================================
--- kernel/arch/amd64/Makefile.inc	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/amd64/Makefile.inc	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
@@ -85,5 +85,4 @@
 		arch/$(KARCH)/src/smp/ipi.c \
 		arch/$(KARCH)/src/smp/mps.c \
-		arch/$(KARCH)/src/smp/smp_call.c \
 		arch/$(KARCH)/src/smp/smp.c
 endif
Index: kernel/arch/amd64/include/arch/interrupt.h
===================================================================
--- kernel/arch/amd64/include/arch/interrupt.h	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/amd64/include/arch/interrupt.h	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
@@ -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);
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/amd64/src/interrupt.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
@@ -53,5 +53,4 @@
 #include <symtab.h>
 #include <stacktrace.h>
-#include <smp/smp_call.h>
 
 /*
@@ -161,10 +160,4 @@
 	tlb_shootdown_ipi_recv();
 }
-
-static void arch_smp_call_ipi_recv(unsigned int n, istate_t *istate)
-{
-	trap_virtual_eoi();
-	smp_call_ipi_recv();
-}
 #endif
 
@@ -229,6 +222,4 @@
 	exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", true,
 	    (iroutine_t) tlb_shootdown_ipi);
-	exc_register(VECTOR_SMP_CALL_IPI, "smp_call", true,
-	    (iroutine_t) arch_smp_call_ipi_recv);
 #endif
 }