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-cei-tk1-som.h"
17 * Routine: pinmux_init
18 * Description: Do individual peripheral pinmux configs
20 void pinmux_init(void)
22 pinmux_clear_tristate_input_clamping();
24 gpio_config_table(cei_tk1_som_gpio_inits,
25 ARRAY_SIZE(cei_tk1_som_gpio_inits));
27 pinmux_config_pingrp_table(cei_tk1_som_pingrps,
28 ARRAY_SIZE(cei_tk1_som_pingrps));
30 pinmux_config_drvgrp_table(cei_tk1_som_drvgrps,
31 ARRAY_SIZE(cei_tk1_som_drvgrps));
33 pinmux_config_mipipadctrlgrp_table(cei_tk1_som_mipipadctrlgrps,
34 ARRAY_SIZE(cei_tk1_som_mipipadctrlgrps));
37 #ifdef CONFIG_PCI_TEGRA
38 int tegra_pcie_board_init(void)
40 /* TODO: Convert to driver model
44 err = as3722_init(&pmic);
46 error("failed to initialize AS3722 PMIC: %d\n", err);
50 err = as3722_sd_enable(pmic, 4);
52 error("failed to enable SD4: %d\n", err);
56 err = as3722_sd_set_voltage(pmic, 4, 0x24);
58 error("failed to set SD4 voltage: %d\n", err);