diff --git a/exec-all.h b/exec-all.h
index 9994acb7a7..7d0972e862 100644
--- a/exec-all.h
+++ b/exec-all.h
@@ -384,7 +384,7 @@ typedef int spinlock_t;
 
 #define SPIN_LOCK_UNLOCKED 0
 
-#if 1
+#if defined(CONFIG_USER_ONLY)
 static inline void spin_lock(spinlock_t *lock)
 {
     while (testandset(lock));