Symbol: IOMMU_CTL_RANGE