Changes in kernel/generic/include/smp/ipi.h [df4ed85:26d3ae2] in mainline

File:

• kernel/generic/include/smp/ipi.h (modified) (2 diffs)

kernel/generic/include/smp/ipi.h

@@ -27 +27 @@
  */
 
-/** @addtogroup generic 
+/** @addtogroup generic
  * @{
  */
@@ -37 +37 @@
 
 #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 */