Index: generic/src/synch/spinlock.c
===================================================================
--- generic/src/synch/spinlock.c	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/src/synch/spinlock.c	(revision ba22dcbf7f604939161418b9a0c4c37c27bb61a4)
@@ -35,5 +35,5 @@
 #include <debug.h>
 
-#ifdef __SMP__
+#ifdef CONFIG_SMP
 
 /** Initialize spinlock
@@ -48,5 +48,5 @@
 }
 
-#ifdef DEBUG_SPINLOCK
+#ifdef CONFIG_DEBUG_SPINLOCK
 /** Lock spinlock
  *