AMD_IOMMU_INVALID_DOMAIN
pt->pt_domainid = AMD_IOMMU_INVALID_DOMAIN;
*domainid = AMD_IOMMU_INVALID_DOMAIN;
case AMD_IOMMU_INVALID_DOMAIN: