TEGRA_MUX_HDMI   1840 drivers/pinctrl/tegra/pinctrl-tegra20.c 	TEGRA_MUX_HDMI,
TEGRA_MUX_HDMI   1950 drivers/pinctrl/tegra/pinctrl-tegra30.c 	TEGRA_MUX_HDMI,