#ifndef __HDMI_MAPPING_H__
#define __HDMI_MAPPING_H__

#include "drv_hdmi_external.h"

/* Port Mapping */
typedef enum
{
	HDMI_SRC_1 = 0,
	HDMI_SRC_2,
	HDMI_SRC_3,
	HDMI_SRC_4,
	HDMI_SRC_5,
	HDMI_SRC_6,
	HDMI_SRC_7,
	HDMI_SRC_8,
	HDMI_SRC_NUM,

	HDMI_SRC_NULL = -1
} HDMI_SRC_T ;

typedef enum
{
	SWITCH_PORT_A = 0,
	SWITCH_PORT_B,
	SWITCH_PORT_C,
	SWITCH_PORT_D,
	SWITCH_PORT_NUM,

	SWITCH_PORT_NULL = -1
} SWITCH_PORT_T ;


/*  Input   : hdmi channel no
	Return  : mapping hdmi port no */
HDMI_PORT_T hdmi_hw_port(HDMI_SRC_T src);

/*  Input   : hdmi channel no
	Return  : mapping switch port no */
SWITCH_PORT_T hdmi_sw_port(HDMI_SRC_T src);

/*  Input   : hdmi hw port no
	Return  : return menu port no */
HDMI_SRC_T hdmi_get_channel_at_hw_port(HDMI_PORT_T port);

/*  Input   : hdmi switch port no
	Return  : hdmi channel no */
HDMI_SRC_T hdmi_get_channel_at_switch_port(SWITCH_PORT_T sw_port);

/*
	Update hdmi mapping information from the following definitions
		CONFIG_HDMI_NUM
		CONFIG_HDMI_SWITCH
		CONFIG_HDMI_PORT_MAP
*/
void hdmi_mapping_init(void);

#endif /* __HDMI_MAPPING_H__ */