Searched refs:get_e820_ram_size (Results 1 – 5 of 5) sorted by relevance
43 uint64_t get_e820_ram_size(void);
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()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()
34 return (get_e820_ram_size() * 8UL) / PAGE_SIZE; in calc_sept_size()
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()
329 uint64_t get_e820_ram_size(void) in get_e820_ram_size() function
Completed in 6 milliseconds