xref: /openbmc/linux/drivers/vfio/cdx/private.h (revision 234489ac)
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_region {
17 	u32			flags;
18 	u32			type;
19 	u64			addr;
20 	resource_size_t		size;
21 };
22 
23 struct vfio_cdx_device {
24 	struct vfio_device	vdev;
25 	struct vfio_cdx_region	*regions;
26 };
27 
28 #endif /* VFIO_CDX_PRIVATE_H */
29