xref: /seL4-refos-master/libs/libplatsupport/src/plat/imx31/mux.c

/*
 * Copyright 2017, Data61
 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
 * ABN 41 687 119 230.
 *
 * This software may be distributed and modified according to the terms of
 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
 * See "LICENSE_BSD2.txt" for details.
 *
 * @TAG(DATA61_BSD)
 */
#include <stdint.h>
#include <utils/attribute.h>
#include <platsupport/mux.h>
#include "../../services.h"

struct imx31_mux_regs {
    int dummy;
};

static struct imx31_mux {
    volatile struct imx31_mux_regs*    mux;
} _mux;

static inline struct imx31_mux* get_mux_priv(mux_sys_t* mux) {
    return (struct imx31_mux*)mux->priv;
}

static inline void set_mux_priv(mux_sys_t* mux, struct imx31_mux* imx31_mux)
{
    assert(mux != NULL);
    assert(imx31_mux != NULL);
    mux->priv = imx31_mux;
}

static int
imx31_mux_feature_enable(mux_sys_t* mux, mux_feature_t mux_feature, UNUSED enum mux_gpio_dir mgd)
{
    struct imx31_mux* m;
    if (mux == NULL || mux->priv == NULL) {
        return -1;
    }
    m = get_mux_priv(mux);

    switch (mux_feature) {
    default:
        (void)m;
        return -1;
    }
}

static int
imx31_mux_init_common(mux_sys_t* mux)
{
    set_mux_priv(mux, &_mux);
    mux->feature_enable = &imx31_mux_feature_enable;
    return 0;
}

int
imx31_mux_init(void* bank1,
               mux_sys_t* mux)
{
    (void)bank1;
    return imx31_mux_init_common(mux);
}

int
mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux)
{
    (void)io_ops;
    return imx31_mux_init_common(mux);
}