Symbol: iommu_gas_augment_entry