/* 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 40 #define VFIO_FSL_MC_OFFSET_MASK (((u64)(1) << VFIO_FSL_MC_OFFSET_SHIFT) - 1) #define VFIO_FSL_MC_OFFSET_TO_INDEX(off) ((off) >> VFIO_FSL_MC_OFFSET_SHIFT) #define VFIO_FSL_MC_INDEX_TO_OFFSET(index) \ ((u64)(index) << VFIO_FSL_MC_OFFSET_SHIFT) struct vfio_fsl_mc_irq { u32 flags; u32 count; struct eventfd_ctx *trigger; char *name; }; struct vfio_fsl_mc_region { u32 flags; u32 type; u64 addr; resource_size_t size; void __iomem *ioaddr; }; struct vfio_fsl_mc_device { struct vfio_device vdev; struct fsl_mc_device *mc_dev; struct notifier_block nb; struct vfio_fsl_mc_region *regions; struct mutex igate; struct vfio_fsl_mc_irq *mc_irqs; }; extern 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 */