Index: generic/src/mm/tlb.c
===================================================================
--- generic/src/mm/tlb.c	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/src/mm/tlb.c	(revision 7fc2bec150eb1d5e021a646592e99e93dfb4fe7c)
@@ -37,5 +37,5 @@
 #include <arch.h>
 
-#ifdef __SMP__
+#ifdef CONFIG_SMP
 static spinlock_t tlblock;
 #endif
@@ -49,5 +49,5 @@
 }
 
-#ifdef __SMP__
+#ifdef CONFIG_SMP
 /* must be called with interrupts disabled */
 void tlb_shootdown_start(void)
@@ -85,3 +85,3 @@
 	CPU->tlb_active = 1;
 }
-#endif /* __SMP__ */
+#endif /* CONFIG_SMP */