Index: kernel/arch/amd64/src/smp/smp_call.c
===================================================================
--- kernel/arch/amd64/src/smp/smp_call.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/arch/amd64/src/smp/smp_call.c	(revision 518dd43efcb2bc45690e83a1c9fed2130e46557b)
@@ -1,11 +1,1 @@
-#include <arch/smp/smp_call.h>
-#include <arch/smp/apic.h>
-#include <arch/interrupt.h>
-#include <cpu.h>
-
-
-void arch_smp_call_ipi(unsigned int cpu_id)
-{
-	(void) l_apic_send_custom_ipi(cpus[cpu_id].arch.id, VECTOR_SMP_CALL_IPI);
-}
-
+kernel/arch/ia32/src/smp/smp_call.c