1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
4 */
5
6 #ifndef VFIO_CDX_PRIVATE_H
7 #define VFIO_CDX_PRIVATE_H
8
9 #define VFIO_CDX_OFFSET_SHIFT 40
10
vfio_cdx_index_to_offset(u32 index)11 static inline u64 vfio_cdx_index_to_offset(u32 index)
12 {
13 return ((u64)(index) << VFIO_CDX_OFFSET_SHIFT);
14 }
15
16 struct vfio_cdx_irq {
17 u32 flags;
18 u32 count;
19 int irq_no;
20 struct eventfd_ctx *trigger;
21 char *name;
22 };
23
24 struct vfio_cdx_region {
25 u32 flags;
26 u32 type;
27 u64 addr;
28 resource_size_t size;
29 };
30
31 struct vfio_cdx_device {
32 struct vfio_device vdev;
33 struct vfio_cdx_region *regions;
34 struct vfio_cdx_irq *cdx_irqs;
35 u32 flags;
36 #define BME_SUPPORT BIT(0)
37 u32 msi_count;
38 u8 config_msi;
39 };
40
41 #ifdef CONFIG_GENERIC_MSI_IRQ
42 int vfio_cdx_set_irqs_ioctl(struct vfio_cdx_device *vdev,
43 u32 flags, unsigned int index,
44 unsigned int start, unsigned int count,
45 void *data);
46
47 void vfio_cdx_irqs_cleanup(struct vfio_cdx_device *vdev);
48 #else
vfio_cdx_set_irqs_ioctl(struct vfio_cdx_device * vdev,u32 flags,unsigned int index,unsigned int start,unsigned int count,void * data)49 static int vfio_cdx_set_irqs_ioctl(struct vfio_cdx_device *vdev,
50 u32 flags, unsigned int index,
51 unsigned int start, unsigned int count,
52 void *data)
53 {
54 return -EINVAL;
55 }
56
vfio_cdx_irqs_cleanup(struct vfio_cdx_device * vdev)57 static void vfio_cdx_irqs_cleanup(struct vfio_cdx_device *vdev)
58 {
59 }
60 #endif
61
62 #endif /* VFIO_CDX_PRIVATE_H */
63