#include "hdmi_cfg.h"
#include "hdmi_video.h"
#include "cec.h"
#ifdef CONFIG_HDMI_HPD_BEHAVIOR_435654
#include "hdmi_dbg.h"
#include "hdmi_hpd.h"
#include "hdmi_time.h"
#include "drv_kmf_interface.h"
#include "drv_spi_sfs.h"
#endif

void DRV_HDMI_SetCustomization(HDMI_Customize_st stHdmi_customize)
{
	HDMI_SetSupportMaxHz(stHdmi_customize.dSupportMaxHz);
#ifdef CONFIG_HDMI_HPD_BEHAVIOR_435654
    {
        extern BOOL HDMI_ENTER_SOURCE_TOGGLE_HPD;
                if(stHdmi_customize.eBootSrc == HDMI_NULL)
                {
            HDMI_ENTER_SOURCE_TOGGLE_HPD=TRUE;
                }
            }
#endif
	DRV_Set_GPIO5V_ARCPort(stHdmi_customize.eARC_5V_GPIO, stHdmi_customize.eARC_Port);
}