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
11static inline u64 vfio_cdx_index_to_offset(u32 index)
12{
13 return ((u64)(index) << VFIO_CDX_OFFSET_SHIFT);
14}
15
16struct vfio_cdx_region {
17 u32 flags;
18 u32 type;
19 u64 addr;
20 resource_size_t size;
21};
22
23struct vfio_cdx_device {
24 struct vfio_device vdev;
25 struct vfio_cdx_region *regions;
26 u32 flags;
27#define BME_SUPPORT BIT(0)
28};
29
30#endif /* VFIO_CDX_PRIVATE_H */
31

source code of linux/drivers/vfio/cdx/private.h