Constant ZX_RSRC_SYSTEM_IOMMU_BASE 

pub const ZX_RSRC_SYSTEM_IOMMU_BASE: u64 = 8 /* 8u64 */;