# AUTOGENERATED FILE
AT_FDCWD = 18446744073709551516
VFIO_CHECK_EXTENSION = 536886117
VFIO_DMA_CC_IOMMU = 4
VFIO_DMA_MAP_FLAG_READ = 1
VFIO_DMA_MAP_FLAG_WRITE = 2
VFIO_EEH = 5
VFIO_GET_API_VERSION = 536886116
VFIO_IOMMU_GET_INFO = 536886128
VFIO_IOMMU_MAP_DMA = 536886129
VFIO_IOMMU_UNMAP_DMA = 536886130
VFIO_NOIOMMU_IOMMU = 8
VFIO_SET_IOMMU = 536886118
VFIO_SPAPR_TCE_IOMMU = 2
VFIO_SPAPR_TCE_v2_IOMMU = 7
VFIO_TYPE1_IOMMU = 1
VFIO_TYPE1_NESTING_IOMMU = 6
VFIO_TYPE1v2_IOMMU = 3
__NR_ioctl = 54
__NR_openat = 286