drivers/vfio/cdx/private.h

   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
  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         u32                     flags;
  27 #define BME_SUPPORT BIT(0)
  28 };
  29
  30 #endif /* VFIO_CDX_PRIVATE_H */