Constant ZX_DEFAULT_IOMMU_RIGHTS 

pub const ZX_DEFAULT_IOMMU_RIGHTS: u32 = _ /* 32_771u32 */;