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