#include "drv_types.h"
#include "hdmi_switch.h"

UINT32 hdmi_switch_hpd_status(void)
{
	return 0;
}

void hdmi_switch_disable(void)
{
}

void hdmi_switch_enable(INT8 port)
{
}

void hdmi_switch_init(void)
{
}

void hdmi_switch_power(BOOL bPwr)
{
}