2 * Copyright (C) 2013 - Virtual Open Systems
3 * Author: Antonios Motakis <a.motakis@virtualopensystems.com>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License, version 2, as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
15 #ifndef VFIO_PLATFORM_PRIVATE_H
16 #define VFIO_PLATFORM_PRIVATE_H
18 #include <linux/types.h>
19 #include <linux/interrupt.h>
21 #define VFIO_PLATFORM_OFFSET_SHIFT 40
22 #define VFIO_PLATFORM_OFFSET_MASK (((u64)(1) << VFIO_PLATFORM_OFFSET_SHIFT) - 1)
24 #define VFIO_PLATFORM_OFFSET_TO_INDEX(off) \
25 (off >> VFIO_PLATFORM_OFFSET_SHIFT)
27 #define VFIO_PLATFORM_INDEX_TO_OFFSET(index) \
28 ((u64)(index) << VFIO_PLATFORM_OFFSET_SHIFT)
30 struct vfio_platform_irq {
35 struct eventfd_ctx *trigger;
38 struct virqfd *unmask;
42 struct vfio_platform_region {
47 #define VFIO_PLATFORM_REGION_TYPE_MMIO 1
48 #define VFIO_PLATFORM_REGION_TYPE_PIO 2
52 struct vfio_platform_device {
53 struct vfio_platform_region *regions;
55 struct vfio_platform_irq *irqs;
61 * These fields should be filled by the bus specific binder
66 /* callbacks to discover device resources */
68 (*get_resource)(struct vfio_platform_device *vdev, int i);
69 int (*get_irq)(struct vfio_platform_device *vdev, int i);
70 int (*reset)(struct vfio_platform_device *vdev);
73 struct vfio_platform_reset_combo {
75 const char *reset_function_name;
76 const char *module_name;
79 extern int vfio_platform_probe_common(struct vfio_platform_device *vdev,
81 extern struct vfio_platform_device *vfio_platform_remove_common
84 extern int vfio_platform_irq_init(struct vfio_platform_device *vdev);
85 extern void vfio_platform_irq_cleanup(struct vfio_platform_device *vdev);
87 extern int vfio_platform_set_irqs_ioctl(struct vfio_platform_device *vdev,
88 uint32_t flags, unsigned index,
89 unsigned start, unsigned count,
92 #endif /* VFIO_PLATFORM_PRIVATE_H */