Home
last modified time | relevance | path

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

/hypervisor/arch/x86/guest/
A Dept.c102 uint64_t page_base; in reserve_buffer_for_ept_pages() local
106 page_base = e820_alloc_memory(get_total_ept_4k_pages_size(), MEM_SIZE_MAX); in reserve_buffer_for_ept_pages()
107 set_paging_supervisor(page_base, get_total_ept_4k_pages_size()); in reserve_buffer_for_ept_pages()
109 ept_pages[vm_id] = (struct page *)(void *)(page_base + offset); in reserve_buffer_for_ept_pages()
A Dvept.c52 uint64_t page_base; in init_vept_pool() local
54 page_base = e820_alloc_memory(calc_sept_size(), MEM_SIZE_MAX); in init_vept_pool()
56 set_paging_supervisor(page_base, calc_sept_size()); in init_vept_pool()
58 sept_pages = (struct page *)page_base; in init_vept_pool()
/hypervisor/arch/x86/
A Dmmu.c235 uint64_t page_base; in allocate_ppt_pages() local
238 page_base = e820_alloc_memory(sizeof(struct page) * get_ppt_page_num(), MEM_4G); in allocate_ppt_pages()
241 ppt_page_pool.start_page = (struct page *)(void *)page_base; in allocate_ppt_pages()

Completed in 5 milliseconds