iommu_set_pgd is only used internally in
xen/drivers/passthrough/vtd/iommu.c
Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Xiantoa Zhang <xiantao.zhang@intel.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
/*
* 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;
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 pt_pci_init(void);