| * NVIDIA Corporation <www.nvidia.com> |
| * SPDX-License-Identifier: GPL-2.0+ |
| #include <power/as3722.h> |
| #include <asm/arch/gpio.h> |
| #include <asm/arch/pinmux.h> |
| #include "pinmux-config-jetson-tk1.h" |
| * Description: Do individual peripheral pinmux configs |
| pinmux_clear_tristate_input_clamping(); |
| gpio_config_table(jetson_tk1_gpio_inits, |
| ARRAY_SIZE(jetson_tk1_gpio_inits)); |
| pinmux_config_pingrp_table(jetson_tk1_pingrps, |
| ARRAY_SIZE(jetson_tk1_pingrps)); |
| pinmux_config_drvgrp_table(jetson_tk1_drvgrps, |
| ARRAY_SIZE(jetson_tk1_drvgrps)); |
| int tegra_pcie_board_init(void) |
| err = as3722_init(&pmic); |
| error("failed to initialize AS3722 PMIC: %d\n", err); |
| err = as3722_sd_enable(pmic, 4); |
| error("failed to enable SD4: %d\n", err); |
| err = as3722_sd_set_voltage(pmic, 4, 0x24); |
| error("failed to set SD4 voltage: %d\n", err); |