mutex_unlock(&hdmi.lock);
 }
 
-static int hdmi_core_enable(struct omap_dss_device *dssdev)
+int hdmi4_core_enable(struct omap_dss_device *dssdev)
 {
        int r = 0;
 
-       DSSDBG("ENTER omapdss_hdmi_core_enable\n");
+       DSSDBG("ENTER omapdss_hdmi4_core_enable\n");
 
        mutex_lock(&hdmi.lock);
 
        return r;
 }
 
-static void hdmi_core_disable(struct omap_dss_device *dssdev)
+void hdmi4_core_disable(struct omap_dss_device *dssdev)
 {
-       DSSDBG("Enter omapdss_hdmi_core_disable\n");
+       DSSDBG("Enter omapdss_hdmi4_core_disable\n");
 
        mutex_lock(&hdmi.lock);
 
        need_enable = hdmi.core_enabled == false;
 
        if (need_enable) {
-               r = hdmi_core_enable(dssdev);
+               r = hdmi4_core_enable(dssdev);
                if (r)
                        return r;
        }
        r = read_edid(edid, len);
 
        if (need_enable)
-               hdmi_core_disable(dssdev);
+               hdmi4_core_disable(dssdev);
 
        return r;
 }
 
        video_cfg->tclk_sel_clkmult = HDMI_FPLL10IDCK;
 }
 
-static void hdmi_core_powerdown_disable(struct hdmi_core_data *core)
+void hdmi4_core_powerdown_disable(struct hdmi_core_data *core)
 {
-       DSSDBG("Enter hdmi_core_powerdown_disable\n");
+       DSSDBG("Enter hdmi4_core_powerdown_disable\n");
        REG_FLD_MOD(core->base, HDMI_CORE_SYS_SYS_CTRL1, 0x1, 0, 0);
 }
 
        hdmi_core_swreset_assert(core);
 
        /* power down off */
-       hdmi_core_powerdown_disable(core);
+       hdmi4_core_powerdown_disable(core);
 
        v_core_cfg.pkt_mode = HDMI_PACKETMODE24BITPERPIXEL;
        v_core_cfg.hdmi_dvi = cfg->hdmi_dvi_mode;
 
 void hdmi4_core_dump(struct hdmi_core_data *core, struct seq_file *s);
 int hdmi4_core_init(struct platform_device *pdev, struct hdmi_core_data *core);
 
+int hdmi4_core_enable(struct omap_dss_device *dssdev);
+void hdmi4_core_disable(struct omap_dss_device *dssdev);
+void hdmi4_core_powerdown_disable(struct hdmi_core_data *core);
+
 int hdmi4_audio_start(struct hdmi_core_data *core, struct hdmi_wp_data *wp);
 void hdmi4_audio_stop(struct hdmi_core_data *core, struct hdmi_wp_data *wp);
 int hdmi4_audio_config(struct hdmi_core_data *core, struct hdmi_wp_data *wp,