@@ -1826,7 +1826,7 @@ static int vtd_ept_page_compatible(struct iommu *iommu)
/*
* set VT-d page table directory to EPT table if allowed
*/
-void iommu_set_pgd(struct domain *d)
+static void iommu_set_pgd(struct domain *d)
{
struct hvm_iommu *hd = domain_hvm_iommu(d);
mfn_t pgd_mfn;
@@ -68,7 +68,6 @@ int iommu_map_page(struct domain *d, unsigned long gfn, unsigned long mfn,
unsigned int flags);
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);