#ifndef _HDMI_IOCTL_H_
#define _HDMI_IOCTL_H_
#include "drv_hdmi_external.h"


typedef enum {
	TVFE_HDMI_CUSTOMER_VIDEO_TIMING_TABLE	= 0,
	TVFE_HDMI_VIDEO_TIMING_TABLE,
	TVFE_HDMI_CUSTOMER_PC_TIMING_TABLE,
	TVFE_HDMI_PC_TIMING_TABLE,
	TVFE_HDMI_TIMING_TABLE_MAX,
} TVFE_HDMITimingTable_e;

unsigned char Cmd_Hdmi_UpdateHDCPKey(void);

unsigned char Cmd_Hdmi_GetHdmiMode(unsigned char *pRetValue);

unsigned char Cmd_Hdmi_ReadHDCPKSV(unsigned char *data);

unsigned char Cmd_Hdmi_GetHDCPKeyCheckSumResult(void);

#ifdef CONFIG_SUPPORT_STORE_HDCP2X_TO_FLASH
unsigned char Cmd_Hdmi_UpdateHDCP2XKey(void);
#endif

#if (CONFIG_CHIPID != 0x330)
#ifdef CONFIG_HDMI_SUPPORT_MHL
unsigned char Cmd_Hdmi_SendMHLRcpCmd(MHL_RCP_CMD_e eMHLRcpCmd);
unsigned char Cmd_Hdmi_GetMHLAppInstanceData(MHLAppInstanceData_t *eMHLAppData);
#endif
#endif

unsigned char Cmd_Hdmi_SetCustomization(HDMI_Customize_st stHdmiCustomize);

unsigned char Cmd_Hdmi_SetHDMIEQCmd(HDMI_EQ_INDEX_e eHDMI_EQ_INDEX);

#ifdef CONFIG_SUPPORT_DOLBY_AUDIO
unsigned char Cmd_Hdmi_SetHDMIEDIDAtmosCmd(BOOL eATMOS);
#endif

#endif