Searched refs:pglvl_max_pages (Results 1 – 3 of 3) sorted by relevance
231 IDX_TO_OFF(pglvl_max_pages(tbl->pglvl)), 0, 0, NULL); in domain_get_idmap_pgtbl()707 IDX_TO_OFF(pglvl_max_pages(domain->pglvl)), 0, 0, NULL); in domain_alloc_pgtbl()
234 vm_pindex_t pglvl_max_pages(int pglvl);
180 pglvl_max_pages(int pglvl) in pglvl_max_pages() function