diff --git a/freebsd/sys/dev/sdhci/fsl_sdhci.c b/freebsd/sys/dev/sdhci/fsl_sdhci.c
index 7d334c1a..f5896000 100644
--- a/freebsd/sys/dev/sdhci/fsl_sdhci.c
+++ b/freebsd/sys/dev/sdhci/fsl_sdhci.c
@@ -59,7 +59,11 @@ __FBSDID("$FreeBSD$");
 #ifdef __arm__
 #include <machine/intr.h>
 
+#ifndef __rtems__
 #include <arm/freescale/imx/imx_ccmvar.h>
+#else /* __rtems__ */
+uint32_t imx_ccm_sdhci_hz(void);
+#endif /* __rtems__ */
 #endif
 
 #ifdef __powerpc__