fpga.h

Go to the documentation of this file.

/*
 * Copyright (c) 2021 Antmicro <www.antmicro.com>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

 
#ifndef ZEPHYR_INCLUDE_DRIVERS_FPGA_H_
#define ZEPHYR_INCLUDE_DRIVERS_FPGA_H_
 
#include <errno.h>
 
#include <zephyr/types.h>
#include <zephyr/sys/util.h>
#include <zephyr/device.h>
 
#ifdef __cplusplus
extern "C" {
#endif

 
enum FPGA_status {
        /* Inactive is when the FPGA cannot accept the bitstream
         * and will not be programmed correctly
         */
        FPGA_STATUS_INACTIVE,
        /* Active is when the FPGA can accept the bitstream and
         * can be programmed correctly
         */
        FPGA_STATUS_ACTIVE
};


typedef enum FPGA_status (*fpga_api_get_status)(const struct device *dev);

typedef int (*fpga_api_load)(const struct device *dev, uint32_t *image_ptr,
                             uint32_t img_size);

typedef int (*fpga_api_reset)(const struct device *dev);

typedef int (*fpga_api_on)(const struct device *dev);

typedef int (*fpga_api_off)(const struct device *dev);

typedef const char *(*fpga_api_get_info)(const struct device *dev);

__subsystem struct fpga_driver_api {
        fpga_api_get_status get_status;
        fpga_api_reset reset;
        fpga_api_load load;
        fpga_api_on on;
        fpga_api_off off;
        fpga_api_get_info get_info;
};


static inline enum FPGA_status fpga_get_status(const struct device *dev)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->get_status == NULL) {
                /* assume it can never be reprogrammed if it
                 * doesn't support the get_status callback
                 */
                return FPGA_STATUS_INACTIVE;
        }
 
        return api->get_status(dev);
}

static inline int fpga_reset(const struct device *dev)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->reset == NULL) {
                return -ENOTSUP;
        }
 
        return api->reset(dev);
}

static inline int fpga_load(const struct device *dev, uint32_t *image_ptr,
                            uint32_t img_size)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->load == NULL) {
                return -ENOTSUP;
        }
 
        return api->load(dev, image_ptr, img_size);
}

static inline int fpga_on(const struct device *dev)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->on == NULL) {
                return -ENOTSUP;
        }
 
        return api->on(dev);
}
 
#define FPGA_GET_INFO_DEFAULT "n/a"

static inline const char *fpga_get_info(const struct device *dev)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->get_info == NULL) {
                return FPGA_GET_INFO_DEFAULT;
        }
 
        return api->get_info(dev);
}

static inline int fpga_off(const struct device *dev)
{
        const struct fpga_driver_api *api = DEVICE_API_GET(fpga, dev);
 
        if (api->off == NULL) {
                return -ENOTSUP;
        }
 
        return api->off(dev);
}

 
#ifdef __cplusplus
}
#endif
 
#endif /* ZEPHYR_INCLUDE_DRIVERS_FPGA_H_ */