#include <linux/vfio.h>
#include <linux/slab.h>
#include <linux/types.h>
#include <linux/eventfd.h>
#include "linux/fsl/mc.h"
#include "vfio_fsl_mc_private.h"
static int vfio_fsl_mc_irqs_allocate(struct vfio_fsl_mc_device *vdev)
{ … }
static irqreturn_t vfio_fsl_mc_irq_handler(int irq_num, void *arg)
{ … }
static int vfio_set_trigger(struct vfio_fsl_mc_device *vdev,
int index, int fd)
{ … }
static int vfio_fsl_mc_set_irq_trigger(struct vfio_fsl_mc_device *vdev,
unsigned int index, unsigned int start,
unsigned int count, u32 flags,
void *data)
{ … }
int vfio_fsl_mc_set_irqs_ioctl(struct vfio_fsl_mc_device *vdev,
u32 flags, unsigned int index,
unsigned int start, unsigned int count,
void *data)
{ … }
void vfio_fsl_mc_irqs_cleanup(struct vfio_fsl_mc_device *vdev)
{ … }