Changes in kernel/generic/src/smp/ipi.c [9d58539:a35b458] in mainline

File:

• kernel/generic/src/smp/ipi.c (modified) (1 diff)

kernel/generic/src/smp/ipi.c

@@ -55 +55 @@
          * - if there is only one CPU but the kernel was compiled with CONFIG_SMP
          */
-        
+
         if (config.cpu_count > 1)
                 ipi_broadcast_arch(ipi);