vtd: don't export iommu_domain_teardown

iommu_domain_teardown is only used internally in
xen/drivers/passthrough/vtd/iommu.c

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Cambell <ian.campbell@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>

diff --git a/xen/drivers/passthrough/vtd/iommu.c b/xen/drivers/passthrough/vtd/iommu.c
index 5f10034dd8b8c852742118a30c164ba797d0446a..a8d33fc7084dee3813fea2b49ffa64e3fbbadb49 100644 (file)
--- a/xen/drivers/passthrough/vtd/iommu.c
+++ b/xen/drivers/passthrough/vtd/iommu.c
@@ -1701,7 +1701,7 @@ static int reassign_device_ownership(
     return ret;
 }
 
-void iommu_domain_teardown(struct domain *d)
+static void iommu_domain_teardown(struct domain *d)
 {
     struct hvm_iommu *hd = domain_hvm_iommu(d);
 

diff --git a/xen/include/xen/iommu.h b/xen/include/xen/iommu.h
index 8bb0a1d1aac307bcaf0120a587f6480883d192ab..ae7e75d0138b1a4e8ab9bcc33d1aa2f7288d50b6 100644 (file)
--- a/xen/include/xen/iommu.h
+++ b/xen/include/xen/iommu.h
@@ -69,7 +69,6 @@ int iommu_map_page(struct domain *d, unsigned long gfn, unsigned long mfn,
 int iommu_unmap_page(struct domain *d, unsigned long gfn);
 void iommu_pte_flush(struct domain *d, u64 gfn, u64 *pte, int order, int present);
 void iommu_set_pgd(struct domain *d);
-void iommu_domain_teardown(struct domain *d);
 
 void pt_pci_init(void);