#include <linux/delay.h>
#include <linux/device.h>
#include <linux/init.h>
#include <linux/io.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include "../vfio_platform_private.h"
#define RING_REGS_SIZE …
#define RING_VER_MAGIC …
#define RING_VER …
#define RING_CONTROL …
#define RING_FLUSH_DONE …
#define CONTROL_FLUSH_SHIFT …
#define FLUSH_DONE_MASK …
static int vfio_platform_bcmflexrm_shutdown(void __iomem *ring)
{ … }
static int vfio_platform_bcmflexrm_reset(struct vfio_platform_device *vdev)
{ … }
module_vfio_reset_handler("brcm,iproc-flexrm-mbox",
vfio_platform_bcmflexrm_reset);
MODULE_LICENSE(…) …;
MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;