Searched refs:get_ept_page_num (Results 1 – 1 of 1) sorted by relevance
59 static uint64_t get_ept_page_num(void) in get_ept_page_num() function69 return CONFIG_MAX_VM_NUM * (get_ept_page_num()) * PAGE_SIZE; in get_total_ept_4k_pages_size()86 bitmap_size = (get_ept_page_num() * CONFIG_MAX_VM_NUM) / 8; in reserve_ept_bitmap()87 bitmap_offset = get_ept_page_num() / 8; in reserve_ept_bitmap()111 offset += get_ept_page_num() * PAGE_SIZE; in reserve_buffer_for_ept_pages()176 ept_page_pool[vm_id].bitmap_size = get_ept_page_num() / 64; in init_ept_pgtable()
Completed in 3 milliseconds