linux-imx

// SPDX-License-Identifier: GPL-2.0

/*

 * Driver for FPGA Management Engine (FME)

 *

 * Copyright (C) 2017-2018 Intel Corporation, Inc.

 *

 * Authors:

 *   Kang Luwei <luwei.kang@intel.com>

 *   Xiao Guangrong <guangrong.xiao@linux.intel.com>

 *   Joseph Grecco <joe.grecco@intel.com>

 *   Enno Luebbers <enno.luebbers@intel.com>

 *   Tim Whisonant <tim.whisonant@intel.com>

 *   Ananda Ravuri <ananda.ravuri@intel.com>

 *   Henry Mitchel <henry.mitchel@intel.com>

 */

​

#include <linux/kernel.h>

#include <linux/module.h>

#include <linux/fpga-dfl.h>

​

#include "dfl.h"

#include "dfl-fme.h"

​

static ssize_t ports_num_show(struct device *dev,

                  struct device_attribute *attr, char *buf)

{

    void __iomem *base;

    u64 v;

​

    base = dfl_get_feature_ioaddr_by_id(dev, FME_FEATURE_ID_HEADER);

​

    v = readq(base + FME_HDR_CAP);

​

    return scnprintf(buf, PAGE_SIZE, "%u\n",

             (unsigned int)FIELD_GET(FME_CAP_NUM_PORTS, v));

}

static DEVICE_ATTR_RO(ports_num);

​

/*

 * Bitstream (static FPGA region) identifier number. It contains the

 * detailed version and other information of this static FPGA region.

 */

static ssize_t bitstream_id_show(struct device *dev,

                 struct device_attribute *attr, char *buf)

{

    void __iomem *base;

    u64 v;

​

    base = dfl_get_feature_ioaddr_by_id(dev, FME_FEATURE_ID_HEADER);

​

    v = readq(base + FME_HDR_BITSTREAM_ID);

​

    return scnprintf(buf, PAGE_SIZE, "0x%llx\n", (unsigned long long)v);

}

static DEVICE_ATTR_RO(bitstream_id);

​

/*

 * Bitstream (static FPGA region) meta data. It contains the synthesis

 * date, seed and other information of this static FPGA region.

 */

static ssize_t bitstream_metadata_show(struct device *dev,

                       struct device_attribute *attr, char *buf)

{