Searched refs:ept_page_pool (Results 1 – 1 of 1) sorted by relevance
77 static struct page_pool ept_page_pool[CONFIG_MAX_VM_NUM]; variable175 ept_page_pool[vm_id].start_page = ept_pages[vm_id]; in init_ept_pgtable()176 ept_page_pool[vm_id].bitmap_size = get_ept_page_num() / 64; in init_ept_pgtable()177 ept_page_pool[vm_id].bitmap = ept_page_bitmap[vm_id]; in init_ept_pgtable()178 ept_page_pool[vm_id].dummy_page = &ept_dummy_pages[vm_id]; in init_ept_pgtable()180 spinlock_init(&ept_page_pool[vm_id].lock); in init_ept_pgtable()181 …memset((void *)ept_page_pool[vm_id].bitmap, 0, ept_page_pool[vm_id].bitmap_size * sizeof(uint64_t)… in init_ept_pgtable()182 ept_page_pool[vm_id].last_hint_id = 0UL; in init_ept_pgtable()184 table->pool = &ept_page_pool[vm_id]; in init_ept_pgtable()
Completed in 3 milliseconds