Lines Matching refs:max_pdx
443 max_pdx = pfn_to_pdx(top_page - 1) + 1; in setup_max_pdx()
445 if ( max_pdx > (DIRECTMAP_SIZE >> PAGE_SHIFT) ) in setup_max_pdx()
446 max_pdx = DIRECTMAP_SIZE >> PAGE_SHIFT; in setup_max_pdx()
448 if ( max_pdx > FRAMETABLE_NR ) in setup_max_pdx()
449 max_pdx = FRAMETABLE_NR; in setup_max_pdx()
451 if ( max_pdx > MPT_VIRT_SIZE / sizeof(unsigned long) ) in setup_max_pdx()
452 max_pdx = MPT_VIRT_SIZE / sizeof(unsigned long); in setup_max_pdx()
455 if ( max_pdx >= PAGE_LIST_NULL ) in setup_max_pdx()
456 max_pdx = PAGE_LIST_NULL - 1; in setup_max_pdx()
459 max_page = pdx_to_pfn(max_pdx - 1) + 1; in setup_max_pdx()
1222 if ( pfn_to_pdx((e - 1) >> PAGE_SHIFT) >= max_pdx ) in __start_xen()
1224 if ( pfn_to_pdx(s >> PAGE_SHIFT) >= max_pdx ) in __start_xen()
1244 max_pdx = pfn_to_pdx(max_page - 1) + 1; in __start_xen()
1252 e = (pdx_to_pfn(max_pdx - 1) + 1ULL) << PAGE_SHIFT; in __start_xen()