Index: kernel/generic/include/smp/ipi.h
===================================================================
--- kernel/generic/include/smp/ipi.h	(revision b473611ceac30d2844afddbecf5c2cd999470cdf)
+++ kernel/generic/include/smp/ipi.h	(revision 0eda6e092bb349f2c4f1d222bbc6b02aaa4c82e1)
@@ -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 */