iommu_pte_t
static iommu_pte_t *
iommu_pte_t *pte, *ptep;
pte = (iommu_pte_t *)sf_buf_kva(*sf);
iommu_pte_t *pte;
iommu_pte_t *pde;
int lvl, int flags, iommu_pte_t *pte, struct sf_buf **sf,
iommu_pte_t *pte;
iommu_gaddr_t base, int lvl, int flags, iommu_pte_t *pte,
void dmar_flush_pte_to_ram(struct dmar_unit *unit, iommu_pte_t *dst);
iommu_pte_t *pte;
static iommu_pte_t *
iommu_pte_t *pte, *ptep;
pte = (iommu_pte_t *)sf_buf_kva(*sf);
iommu_pte_t *pte;
iommu_gaddr_t base, int lvl, int flags, iommu_pte_t *pte,
iommu_pte_t *pde;
int flags, iommu_pte_t *pte, struct sf_buf **sf,
iommu_pte_t *pte;
dmar_flush_pte_to_ram(struct dmar_unit *unit, iommu_pte_t *dst)
#define IOMMU_NPTEPG (IOMMU_PAGE_SIZE / sizeof(iommu_pte_t))