diff --git a/configs/sam4s-xplained-pro/src/sam_tc.c b/configs/sam4s-xplained-pro/src/sam_tc.c
index fb0a1990cd3..c2ba12e4e44 100755
--- a/configs/sam4s-xplained-pro/src/sam_tc.c
+++ b/configs/sam4s-xplained-pro/src/sam_tc.c
@@ -48,6 +48,7 @@
 #include <stdio.h>
 #include <fcntl.h>
 
+#include <nuttx/arch.h>
 #include <nuttx/timer.h>
 #include <nuttx/clock.h>
 #include <nuttx/kthread.h>