Constant DomainTypeMax 

pub const DomainTypeMax: IOMMU_DMA_DOMAIN_TYPE = 3i32;