46uint32_t imx_ccm_ipg_hz(
void);
47uint32_t imx_ccm_perclk_hz(
void);
48uint32_t imx_ccm_sdhci_hz(
void);
49uint32_t imx_ccm_uart_hz(
void);
50uint32_t imx_ccm_ahb_hz(
void);
52uint32_t imx_ccm_ecspi_hz(
void);
56void imx_ccm_usb_enable(device_t _usbdev);
57void imx_ccm_usbphy_enable(device_t _phydev);
58void imx_ccm_ssi_configure(device_t _ssidev);
59void imx_ccm_hdmi_enable(
void);
60void imx_ccm_ipu_enable(
int ipu);
63uint32_t imx_ccm_get_cacrr(
void);
64void imx_ccm_set_cacrr(uint32_t _divisor);