Searched refs:ppt_pd_page_num (Results 1 – 1 of 1) sorted by relevance
58 …uint64_t ppt_pd_page_num = PD_PAGE_NUM(get_e820_ram_size() + MEM_4G) + CONFIG_MAX_PCI_DEV_NUM * 6U; in get_ppt_page_num() local61 … return roundup((PPT_PML4_PAGE_NUM + PPT_PDPT_PAGE_NUM + ppt_pd_page_num + PPT_PT_PAGE_NUM), 64U); in get_ppt_page_num()
Completed in 3 milliseconds