1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
6 #ifndef VFIO_CDX_PRIVATE_H
7 #define VFIO_CDX_PRIVATE_H
9 #define VFIO_CDX_OFFSET_SHIFT 40
11 static inline u64 vfio_cdx_index_to_offset(u32 index)
13 return ((u64)(index) << VFIO_CDX_OFFSET_SHIFT);
16 struct vfio_cdx_region {
23 struct vfio_cdx_device {
24 struct vfio_device vdev;
25 struct vfio_cdx_region *regions;
28 #endif /* VFIO_CDX_PRIVATE_H */