Index: arch/amd64/src/interrupt.c
===================================================================
--- arch/amd64/src/interrupt.c	(revision 49a39c2c0d1933132d867a05b71cfac2264eab4b)
+++ arch/amd64/src/interrupt.c	(revision a3eeceb63abe66d5ad2d3892d18a91ad79b185fc)
@@ -142,9 +142,4 @@
 }
 
-void wakeup_ipi(int n, void *stack)
-{
-	trap_virtual_eoi();
-}
-
 void trap_virtual_enable_irqs(__u16 irqmask)
 {