Index: kernel/generic/include/smp/smp_call.h
===================================================================
--- kernel/generic/include/smp/smp_call.h	(revision 2ee1ccc69bcd25005be784804853ee2cdc2231a2)
+++ kernel/generic/include/smp/smp_call.h	(revision 0d567128e8779f20e00b0f9912a328a8bfdaf195)
@@ -23,8 +23,12 @@
 extern void smp_call_async(unsigned int, smp_call_func_t, void *, smp_call_t *);
 extern void smp_call_wait(smp_call_t *);
-//extern void smp_broadcast_call(smp_call_func_t, void *);
 
 extern void smp_call_init(void);
+
+#ifdef CONFIG_SMP
 extern void smp_call_ipi_recv(void);
+extern void arch_smp_call_ipi(unsigned int);
+#endif
+