diff --git a/include/nuttx/spinlock.h b/include/nuttx/spinlock.h
index 8678dbef805..bd15818d6a7 100644
--- a/include/nuttx/spinlock.h
+++ b/include/nuttx/spinlock.h
@@ -35,6 +35,7 @@
 
 #include <nuttx/compiler.h>
 #include <nuttx/irq.h>
+#include <nuttx/arch.h>
 
 #if defined(CONFIG_TICKET_SPINLOCK) || defined(CONFIG_RW_SPINLOCK)
 #  include <nuttx/atomic.h>
diff --git a/include/pthread.h b/include/pthread.h
index 97eca7a5368..0418dfacd07 100644
--- a/include/pthread.h
+++ b/include/pthread.h
@@ -49,7 +49,7 @@
  * SP_LOCKED and SP_UNLOCKED must constants of type spinlock_t.
  */
 
-#  include <nuttx/spinlock.h>
+#  include <arch/spinlock.h>
 #endif
 
 /****************************************************************************