#ifndef __HDMI_SWITCH_H__
#define __HDMI_SWITCH_H__
#include "drv_types.h"

UINT32 hdmi_switch_hpd_status(void);

void hdmi_switch_disable(void);

void hdmi_switch_enable(INT8 port);

void hdmi_switch_init(void);

void hdmi_switch_power(BOOL bPwr);


#endif  /* __HDMI_SWITCH_H__ */