# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
AT_FDCWD = 18446744073709551516
VFIO_CHECK_EXTENSION = 15205, mips64le:ppc64le: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 = 15204, mips64le:ppc64le:536886116
VFIO_IOMMU_GET_INFO = 15216, mips64le:ppc64le:536886128
VFIO_IOMMU_MAP_DMA = 15217, mips64le:ppc64le:536886129
VFIO_IOMMU_UNMAP_DMA = 15218, mips64le:ppc64le:536886130
VFIO_NOIOMMU_IOMMU = 8
VFIO_SET_IOMMU = 15206, mips64le:ppc64le: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, amd64:16, arm64:riscv64:29, mips64le:5015
__NR_openat = 56, 386:295, amd64:257, arm:322, mips64le:5247, ppc64le:286, s390x:288