#include <linux/init.h>
#include <linux/io.h>
#include <linux/slab.h>
#include <linux/sys_soc.h>
#include <linux/platform_device.h>
#include <linux/mfd/syscon.h>
#include <linux/regmap.h>
#include <linux/of.h>
#define INTEGRATOR_HDR_ID_OFFSET …
static u32 integrator_coreid;
static const struct of_device_id integrator_cm_match[] = …;
static const char *integrator_arch_str(u32 id)
{ … }
static const char *integrator_fpga_str(u32 id)
{ … }
static ssize_t
manufacturer_show(struct device *dev, struct device_attribute *attr, char *buf)
{ … }
static DEVICE_ATTR_RO(manufacturer);
static ssize_t
arch_show(struct device *dev, struct device_attribute *attr, char *buf)
{ … }
static DEVICE_ATTR_RO(arch);
static ssize_t
fpga_show(struct device *dev, struct device_attribute *attr, char *buf)
{ … }
static DEVICE_ATTR_RO(fpga);
static ssize_t
build_show(struct device *dev, struct device_attribute *attr, char *buf)
{ … }
static DEVICE_ATTR_RO(build);
static struct attribute *integrator_attrs[] = …;
ATTRIBUTE_GROUPS(…);
static int __init integrator_soc_init(void)
{ … }
device_initcall(integrator_soc_init);