Searched refs:bitmap_base (Results 1 – 1 of 1) sorted by relevance
82 uint64_t bitmap_base; in reserve_ept_bitmap() local89 bitmap_base = e820_alloc_memory(bitmap_size, MEM_SIZE_MAX); in reserve_ept_bitmap()90 set_paging_supervisor(bitmap_base, bitmap_size); in reserve_ept_bitmap()93 ept_page_bitmap[i] = (uint64_t *)(void *)(bitmap_base + bitmap_offset * i); in reserve_ept_bitmap()
Completed in 3 milliseconds