linux/drivers/vfio/fsl-mc/vfio_fsl_mc_private.h

/* SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause) */
/*
 * Copyright 2013-2016 Freescale Semiconductor Inc.
 * Copyright 2016,2019-2020 NXP
 */

#ifndef VFIO_FSL_MC_PRIVATE_H
#define VFIO_FSL_MC_PRIVATE_H

#define VFIO_FSL_MC_OFFSET_SHIFT …
#define VFIO_FSL_MC_OFFSET_MASK …

#define VFIO_FSL_MC_OFFSET_TO_INDEX(off) …

#define VFIO_FSL_MC_INDEX_TO_OFFSET(index) …

struct vfio_fsl_mc_irq { … };

struct vfio_fsl_mc_region { … };

struct vfio_fsl_mc_device { … };

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);

#endif /* VFIO_FSL_MC_PRIVATE_H */