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 ef1603b3aaf4bc28c37fa3c7f408b23f535f8e0a)
@@ -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
Index: kernel/arch/ia32/include/smp/smp_call.h
===================================================================
--- kernel/arch/ia32/include/smp/smp_call.h	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ 	(revision )
@@ -1,8 +1,0 @@
-
-#ifndef KERN_ia32_SMP_CALL_H_
-#define KERN_ia32_SMP_CALL_H_
-
-
-extern void arch_smp_call_ipi(unsigned int);
-
-#endif /*  KERN_amd64_SMP_CALL_H_ */
Index: kernel/arch/ia32/src/smp/smp_call.c
===================================================================
--- kernel/arch/ia32/src/smp/smp_call.c	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/arch/ia32/src/smp/smp_call.c	(revision ef1603b3aaf4bc28c37fa3c7f408b23f535f8e0a)
@@ -1,7 +1,8 @@
-#include <arch/smp/smp_call.h>
+#include <smp/smp_call.h>
 #include <arch/smp/apic.h>
 #include <arch/interrupt.h>
 #include <cpu.h>
 
+#ifdef CONFIG_SMP
 
 void arch_smp_call_ipi(unsigned int cpu_id)
@@ -10,2 +11,4 @@
 }
 
+#endif /* CONFIG_SMP */
+