// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

#ifndef OPENTITAN_SW_DEVICE_LIB_PINMUX_H_
#define OPENTITAN_SW_DEVICE_LIB_PINMUX_H_

#include <stdint.h>

/**
 * PINMUX default initialization.
 */
void pinmux_init(void);

#endif  // OPENTITAN_SW_DEVICE_LIB_PINMUX_H_