| /* |
| * 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); |