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