# AUTOGENERATED FILE
AT_FDCWD = 18446744073709551516
VFIO_CHECK_EXTENSION = 15205
VFIO_DMA_CC_IOMMU = 4
VFIO_DMA_MAP_FLAG_READ = 1
VFIO_DMA_MAP_FLAG_WRITE = 2
VFIO_EEH = 5
VFIO_GET_API_VERSION = 15204
VFIO_IOMMU_GET_INFO = 15216
VFIO_IOMMU_MAP_DMA = 15217
VFIO_IOMMU_UNMAP_DMA = 15218
VFIO_NOIOMMU_IOMMU = 8
VFIO_SET_IOMMU = 15206
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 = 29
__NR_openat = 56