diff --git a/arch/arm/plat-samsung/dev-asocdma.c b/arch/arm/plat-samsung/dev-asocdma.c
index b7b1fcaab814..a068c4f42d56 100644
--- a/arch/arm/plat-samsung/dev-asocdma.c
+++ b/arch/arm/plat-samsung/dev-asocdma.c
@@ -10,6 +10,7 @@
 
 #include <linux/platform_device.h>
 #include <linux/dma-mapping.h>
+#include <plat/devs.h>
 
 static u64 audio_dmamask = DMA_BIT_MASK(32);