/*
 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <platsupport/io.h>
#include <platsupport/gpio.h>

/* The header below abstracts over the platform-specific headers. Some
 * platforms have headers outside of libplatsupport and in other places. */
#include <gpiomuxserver_plat.h>

int gpiomuxserver_gpio_interface_init(int (*gpiomuxserver_init_pin)(gpio_id_t pin_id, gpio_dir_t dir),
                                      int (*gpiomuxserver_set_level)(gpio_id_t pin_id, gpio_level_t level),
                                      int (*gpiomuxserver_read_level)(gpio_id_t pin_id),
                                      gpio_sys_t *gpio_sys);

int gpiomuxserver_mux_interface_init(int (*gpiomuxserver_feature_enable)(mux_feature_t mux_feature,
                                                                         mux_gpio_dir_t mux_gpio_dir),
                                     int (*gpiomuxserver_feature_disable)(mux_feature_t mux_feature),
                                     mux_sys_t *mux_sys);