Constant VFIO_IOMMU_ENABLE 

pub const VFIO_IOMMU_ENABLE: u32 = 15219;