3 * NVIDIA Corporation <www.nvidia.com>
5 * SPDX-License-Identifier: GPL-2.0+
9 #include <power/as3722.h>
11 #include <asm/arch/gpio.h>
12 #include <asm/arch/pinmux.h>
14 #include "pinmux-config-jetson-tk1.h"
16 DECLARE_GLOBAL_DATA_PTR;
19 * Routine: pinmux_init
20 * Description: Do individual peripheral pinmux configs
22 void pinmux_init(void)
24 pinmux_clear_tristate_input_clamping();
26 gpio_config_table(jetson_tk1_gpio_inits,
27 ARRAY_SIZE(jetson_tk1_gpio_inits));
29 pinmux_config_pingrp_table(jetson_tk1_pingrps,
30 ARRAY_SIZE(jetson_tk1_pingrps));
32 pinmux_config_drvgrp_table(jetson_tk1_drvgrps,
33 ARRAY_SIZE(jetson_tk1_drvgrps));
36 #ifdef CONFIG_PCI_TEGRA
37 int tegra_pcie_board_init(void)
42 err = as3722_init(&pmic);
44 error("failed to initialize AS3722 PMIC: %d\n", err);
48 err = as3722_sd_enable(pmic, 4);
50 error("failed to enable SD4: %d\n", err);
54 err = as3722_sd_set_voltage(pmic, 4, 0x24);
56 error("failed to set SD4 voltage: %d\n", err);