Searched refs:ept_pd_page_num (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/guest/
A D	ept.c	61 uint64_t ept_pd_page_num = PD_PAGE_NUM(get_e820_ram_size() + MEM_4G) + CONFIG_MAX_PCI_DEV_NUM * 6U; in get_ept_page_num() local 64 return roundup((EPT_PML4_PAGE_NUM + EPT_PDPT_PAGE_NUM + ept_pd_page_num + ept_pt_page_num), 64U); in get_ept_page_num()

Completed in 3 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025