int __init tegranote7c_pinmux_init(void)
{
	tegranote7c_gpio_init_configure();

	tegra_drive_pinmux_config_table(tegranote7c_drive_pinmux,
					ARRAY_SIZE(tegranote7c_drive_pinmux));

	tegra_pinmux_config_table(tegranote7c_pinmux_common,
				  ARRAY_SIZE(tegranote7c_pinmux_common));
	tegra_pinmux_config_table(tegranote7c_unused_pins_lowpower,
				  ARRAY_SIZE(tegranote7c_unused_pins_lowpower));

	tegra_pinmux_config_table(manual_config_pinmux,
		ARRAY_SIZE(manual_config_pinmux));
	if (get_tegra_uart_debug_port_id() == UART_FROM_SDCARD)
		tegra_pinmux_config_table(e2542_uart_config_pinmux,
			ARRAY_SIZE(e2542_uart_config_pinmux));
#ifdef CONFIG_PM_SLEEP
	tegra11x_set_sleep_pinmux(tegranote7c_sleep_pinmux,
		ARRAY_SIZE(tegranote7c_sleep_pinmux));
	tegra11x_set_sleep_gpio(tegranote7c_sleep_gpio,
		ARRAY_SIZE(tegranote7c_sleep_gpio));
#endif

	return 0;
}
int __init pluto_pinmux_init(void)
{
    tegra_pinmux_config_table(pluto_pinmux_set_nontristate,
                              ARRAY_SIZE(pluto_pinmux_set_nontristate));
    pluto_gpio_init_configure();

    tegra_pinmux_config_table(pluto_pinmux_common, ARRAY_SIZE(pluto_pinmux_common));
    tegra_drive_pinmux_config_table(pluto_drive_pinmux,
                                    ARRAY_SIZE(pluto_drive_pinmux));
    tegra_pinmux_config_table(unused_pins_lowpower,
                              ARRAY_SIZE(unused_pins_lowpower));
    tegra_pinmux_config_table(manual_config_pinmux,
                              ARRAY_SIZE(manual_config_pinmux));
    tegra11x_set_sleep_pinmux(pluto_sleep_pinmux,
                              ARRAY_SIZE(pluto_sleep_pinmux));
    return 0;
}
int __init keenhi_t40_pinmux_init(void)
{
	keenhi_t40_gpio_init_configure();

	tegra_pinmux_config_table(keenhi_t40_pinmux_common,
					ARRAY_SIZE(keenhi_t40_pinmux_common));
	tegra_drive_pinmux_config_table(keenhi_t40_drive_pinmux,
					ARRAY_SIZE(keenhi_t40_drive_pinmux));
	tegra_pinmux_config_table(unused_pins_lowpower,
		ARRAY_SIZE(unused_pins_lowpower));
	tegra_pinmux_config_table(manual_config_pinmux,
		ARRAY_SIZE(manual_config_pinmux));
#ifdef CONFIG_PM_SLEEP
	tegra11x_set_sleep_pinmux(keenhi_t40_sleep_pinmux,
		ARRAY_SIZE(keenhi_t40_sleep_pinmux));
#endif

	return 0;
}