diff --git a/arch/sandbox/board/devices.c b/arch/sandbox/board/devices.c
index 10d6b67..242a0d7 100644
--- a/arch/sandbox/board/devices.c
+++ b/arch/sandbox/board/devices.c
@@ -6,6 +6,7 @@
 
 #include <common.h>
 #include <driver.h>
+#include <mach/linux.h>
 #include <init.h>
 
 static LIST_HEAD(sandbox_device_list);