Changes in kernel/generic/include/smp/ipi.h [26d3ae2:df4ed85] 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);
-extern void ipi_broadcast_arch(int);
-
+extern void ipi_broadcast(int ipi);
+extern void ipi_broadcast_arch(int ipi);
 #else
-
-        #define ipi_broadcast(ipi)
-
+#define ipi_broadcast(x)        ;
 #endif /* CONFIG_SMP */