AMD_IOMMU_INVALID_MAP
ASSERT(type != AMD_IOMMU_INVALID_MAP);
dp = amd_iommu_lookup_domain(iommu, domainid, AMD_IOMMU_INVALID_MAP,