Searched refs:PT_PAGE_NUM (Results 1 – 2 of 2) sorted by relevance
80 #define PT_PAGE_NUM(size) (((size) + PDE_SIZE - 1UL) >> PDE_SHIFT) macro
62 uint64_t ept_pt_page_num = PT_PAGE_NUM(get_e820_ram_size() + MEM_4G) + CONFIG_MAX_PCI_DEV_NUM * 6U; in get_ept_page_num()
Completed in 6 milliseconds