--- arch/x86/kernel/amd_iommu.c

+++ arch/x86/kernel/amd_iommu.c

@@ -544,7 +544,7 @@ static void flush_devices_by_domain(stru

for (i = 0; i <= amd_iommu_last_bdf; ++i) {

if ((domain == NULL && amd_iommu_pd_table[i] == NULL) ||

- (amd_iommu_pd_table[i] != domain))

+ (domain != NULL && amd_iommu_pd_table[i] != domain))

continue;

iommu = amd_iommu_rlookup_table[i];

@@ -2239,9 +2239,7 @@ static void amd_iommu_domain_destroy(str

free_pagetable(domain);

- domain_id_free(domain->id);

-

- kfree(domain);

+ protection_domain_free(domain);

dom->priv = NULL;

}