Home
last modified time | relevance | path

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

/hypervisor/arch/x86/
A Dmmu.c58 …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()
238 page_base = e820_alloc_memory(sizeof(struct page) * get_ppt_page_num(), MEM_4G); in allocate_ppt_pages()
239 ppt_page_pool.bitmap = (uint64_t *)e820_alloc_memory(bitmap_size, MEM_4G); in allocate_ppt_pages()
254 uint64_t high64_max_ram = MEM_4G; in init_paging()
273 if (end < MEM_4G) { in init_paging()
295 MEM_4G - low32_max_ram, PAGE_ATTR_USER | PAGE_CACHE_UC, &ppt_pgtable); in init_paging()
/hypervisor/include/arch/x86/asm/
A Dmmu.h44 #define MEM_4G (MEM_1G * 4UL) macro
/hypervisor/arch/x86/guest/
A Dept.c61 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()
A Dvm.c488 uint64_t service_vm_high64_max_ram = MEM_4G; in prepare_service_vm_memmap()
/hypervisor/boot/guest/
A Dbzimage_loader.c157 if (mods_end < MEM_4G) { in get_bzimage_kernel_load_addr()
161 kernel_load_gpa = find_space_from_ve820(vm, kernel_size, mods_end, MEM_4G); in get_bzimage_kernel_load_addr()

Completed in 9 milliseconds