#include "hdmi_cfg.h"
#include "hdmi_video.h"
#include "cec.h"

void DRV_HDMI_SetCustomization(HDMI_Customize_st stHdmi_customize)
{
	HDMI_SetSupportMaxHz(stHdmi_customize.dSupportMaxHz);
	DRV_Set_GPIO5V_ARCPort(stHdmi_customize.eARC_5V_GPIO, stHdmi_customize.eARC_Port);
}