diff --git a/drivers/usb/musb/cppi_dma.c b/drivers/usb/musb/cppi_dma.c
index 5da93ece9cd16d53d29e32d6f5cb00e1ab5ca050..1ae48e64e975867a6eb03afffa92260319595b06 100644
--- a/drivers/usb/musb/cppi_dma.c
+++ b/drivers/usb/musb/cppi_dma.c
@@ -14,6 +14,7 @@
 #include "musb_core.h"
 #include "musb_debug.h"
 #include "cppi_dma.h"
+#include "davinci.h"
 
 
 /* CPPI DMA status 7-mar-2006:
diff --git a/drivers/usb/musb/cppi_dma.h b/drivers/usb/musb/cppi_dma.h
index 59bf949e589b85a086be064ffb037a77bedc7e24..40c31cecc8b71dae84669a2dbcdcb116be160d0b 100644
--- a/drivers/usb/musb/cppi_dma.h
+++ b/drivers/usb/musb/cppi_dma.h
@@ -11,14 +11,6 @@
 #include "musb_dma.h"
 #include "musb_core.h"
 
-
-/* FIXME fully isolate CPPI from DaVinci ... the "CPPI generic" registers
- * would seem to be shared with the TUSB6020 (over VLYNQ).
- */
-
-#include "davinci.h"
-
-
 /* CPPI RX/TX state RAM */
 
 struct cppi_tx_stateram {