iommu_gas_remove_unmap
iommu_gas_remove_unmap(domain, entry, gc);
iommu_gas_remove_unmap(domain, *r2, gc);