IOMMU_NPTEPG
base = idx * IOMMU_NPTEPG + 1; /* Index of the first child page of idx */
for (i = 0, f = addr; i < IOMMU_NPTEPG; i++, f += pg_sz)
for (i = 0, f = addr; i < IOMMU_NPTEPG; i++, f += pg_sz) {
for (i = 0, f = addr; i < IOMMU_NPTEPG; i++, f += pg_sz) {
pidx * IOMMU_NPTEPG + 1;
res *= IOMMU_NPTEPG;
#define IOMMU_PTEMASK (IOMMU_NPTEPG - 1)