Lines Matching defs:maxaddr
85 iommu_gaddr_t maxaddr; /* Page table covers the guest address
86 range [0..maxaddr) */
122 if (addr >= tbl->maxaddr)
136 if (f >= tbl->maxaddr)
143 if (f >= tbl->maxaddr)
160 * the context, up to the maxaddr. The maxaddr byte is allowed to be
163 * maxaddr is typically mapped.
166 dmar_get_idmap_pgtbl(struct dmar_domain *domain, iommu_gaddr_t maxaddr)
188 * page table must map up to maxaddr, its level must be
196 if (tbl->maxaddr >= maxaddr &&
215 if (tbl->maxaddr >= maxaddr &&
232 tbl->maxaddr = maxaddr;