Searched refs:bitmap_offset (Results 1 – 1 of 1) sorted by relevance
84 uint64_t bitmap_offset; in reserve_ept_bitmap() local87 bitmap_offset = get_ept_page_num() / 8; in reserve_ept_bitmap()93 ept_page_bitmap[i] = (uint64_t *)(void *)(bitmap_base + bitmap_offset * i); in reserve_ept_bitmap()
Completed in 2 milliseconds