Symbol: iommu_extract