diff --git a/arch/arm/include/arch.h b/arch/arm/include/arch.h
index 88c0706db84..426f4b95992 100644
--- a/arch/arm/include/arch.h
+++ b/arch/arm/include/arch.h
@@ -44,10 +44,14 @@
  * Included Files
  ****************************************************************************/
 
+#include <nuttx/config.h>
+
 /****************************************************************************
  * Definitions
  ****************************************************************************/
 
+#ifdef CONFIG_PIC
+
 /* This identifies the register the is used by the processor as the PIC base
  * register.  It is usually r9 or r10
  */
@@ -82,6 +86,7 @@ do { \
   ); \
 } while (0)
 
+#endif
 
 /****************************************************************************
  * Inline functions