Constant VFIO_IOMMU_GET_INFO 

pub const VFIO_IOMMU_GET_INFO: u32 = 15216;