Constant IommuDeviceCreationConfigTypeMax 

pub const IommuDeviceCreationConfigTypeMax: IOMMU_DEVICE_CREATION_CONFIGURATION_TYPE = 3i32;