Index: kernel/generic/include/smp/ipi.h
===================================================================
--- kernel/generic/include/smp/ipi.h	(revision b473611ceac30d2844afddbecf5c2cd999470cdf)
+++ kernel/generic/include/smp/ipi.h	(revision 26d3ae2d56cbdf7eaecdc582b53cef8f6ebf6f7c)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup generic	
+/** @addtogroup generic
  * @{
  */
@@ -37,8 +37,12 @@
 
 #ifdef CONFIG_SMP
-extern void ipi_broadcast(int ipi);
-extern void ipi_broadcast_arch(int ipi);
+
+extern void ipi_broadcast(int);
+extern void ipi_broadcast_arch(int);
+
 #else
-#define ipi_broadcast(x)	;
+
+	#define ipi_broadcast(ipi)
+
 #endif /* CONFIG_SMP */