#ifndef __HDMI_HPD_H__
#define __HDMI_HPD_H__

#include "drv_types.h"
#include <linux/kernel.h>   // BOOL
#include "hdmi_mapping.h"
#include <Customization.h>
#include "cec.h"

typedef enum
{
    DRV_HDMI_PORT_A = 0x01,
    DRV_HDMI_PORT_B = 0x02,
    DRV_HDMI_PORT_C = 0x04,
    DRV_HDMI_PORT_D = 0x08,
    DRV_HDMI_PORT_ALL = 0xff,
} DRV_HDMI_PORT_e;

typedef enum
{
	DRV_HPD_LEVEL_LOW = 0x00,	
	DRV_HPD_LEVEL_HIGH,
} DRV_HPD_LEVEL_e;

void hdmi_hpd_init(void);

void hdmi_apply_hpd(DRV_HDMI_PORT_e ePort, DRV_HPD_LEVEL_e eLevel);

void hdmi_apply_hpd_Toggle(DRV_HDMI_PORT_e ePort, DRV_HPD_LEVEL_e eLevel, BOOL SetToggle);

void hdmi_apply_hpd_by5V(DRV_HDMI_PORT_e ePort);

void hdmi_hpd_update(void);

void hdmi_5v_change_need_ChangeSrc(HDMI_PORT_T port);

BOOL hdmi_get_hpd_at_cur_src(void);

void hdmi_hpd_handler(HDMI_SRC_T src);

void hdmi_set_termination(DRV_HDMI_PORT_e ePort, DRV_HPD_LEVEL_e eLevel);

void hdmi_report_cur_hpd(void);

HDMI_PORT_T hdmi_get_cur_port(void);

UINT32 hdmi_get_hpd_status(void);

#endif  /* __HDMI_HPD_H__ */