1 /*
2  * (C) Copyright 2014
3  * NVIDIA Corporation <www.nvidia.com>
4  *
5  * SPDX-License-Identifier:     GPL-2.0+
6  */
7 
8 #include <common.h>
9 #include <asm/arch/gpio.h>
10 #include <asm/arch/pinmux.h>
11 #include "pinmux-config-jetson-tk1.h"
12 
13 /*
14  * Routine: pinmux_init
15  * Description: Do individual peripheral pinmux configs
16  */
17 void pinmux_init(void)
18 {
19 	pinmux_set_tristate_input_clamping();
20 
21 	gpio_config_table(jetson_tk1_gpio_inits,
22 			  ARRAY_SIZE(jetson_tk1_gpio_inits));
23 
24 	pinmux_config_pingrp_table(jetson_tk1_pingrps,
25 				   ARRAY_SIZE(jetson_tk1_pingrps));
26 
27 	pinmux_config_drvgrp_table(jetson_tk1_drvgrps,
28 				   ARRAY_SIZE(jetson_tk1_drvgrps));
29 }
30