/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#include <device/mmio.h>
#include <soc/addressmap.h>

#include "pinmux.h"

static uint32_t *pinmux_regs = (void *)TEGRA_APB_PINMUX_BASE;

void pinmux_set_config(int pin_index, uint32_t config)
{
	write32(&pinmux_regs[pin_index], config);
}

uint32_t pinmux_get_config(int pin_index)
{
	return read32(&pinmux_regs[pin_index]);
}