Index: generic/src/smp/ipi.c
===================================================================
--- generic/src/smp/ipi.c	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/src/smp/ipi.c	(revision 0b5ac364286bd4f71ec8dbd05e4d57b5bd850133)
@@ -27,5 +27,5 @@
  */
 
-#ifdef __SMP__
+#ifdef CONFIG_SMP
 
 #include <smp/ipi.h>
@@ -45,5 +45,5 @@
 	 * Provisions must be made to avoid sending IPI:
 	 * - before all CPU's were configured to accept the IPI
-	 * - if there is only one CPU but the kernel was compiled with __SMP__
+	 * - if there is only one CPU but the kernel was compiled with CONFIG_SMP
 	 */
 
@@ -52,3 +52,3 @@
 }
 
-#endif /* __SMP__ */
+#endif /* CONFIG_SMP */