Symbol: pglvl_pgtbl_get_pindex
sys/x86/iommu/amd_idpgtbl.c
139
idx = pglvl_pgtbl_get_pindex(domain->pglvl, base, lvl);
sys/x86/iommu/intel_idpgtbl.c
339
idx = pglvl_pgtbl_get_pindex(domain->pglvl, base, lvl);
sys/x86/iommu/x86_iommu.h
193
vm_pindex_t pglvl_pgtbl_get_pindex(int pglvl, iommu_gaddr_t base, int lvl);