Constant VFIO_IOMMU_DISABLE 

pub const VFIO_IOMMU_DISABLE: u32 = 15220;