Searched refs:bitmap_size (Results 1 – 5 of 5) sorted by relevance
32 loop_idx < (pool->last_hint_id + pool->bitmap_size); loop_idx++) { in alloc_page()33 idx = loop_idx % pool->bitmap_size; in alloc_page()
236 uint64_t bitmap_size = get_ppt_page_num() / 8; in allocate_ppt_pages() local239 ppt_page_pool.bitmap = (uint64_t *)e820_alloc_memory(bitmap_size, MEM_4G); in allocate_ppt_pages()242 ppt_page_pool.bitmap_size = bitmap_size / sizeof(uint64_t); in allocate_ppt_pages()245 memset(ppt_page_pool.bitmap, 0, bitmap_size); in allocate_ppt_pages()
83 uint64_t bitmap_size; in reserve_ept_bitmap() local86 bitmap_size = (get_ept_page_num() * CONFIG_MAX_VM_NUM) / 8; in reserve_ept_bitmap()89 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()176 ept_page_pool[vm_id].bitmap_size = get_ept_page_num() / 64; 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()
549 sept_page_pool.bitmap_size = calc_sept_page_num() / 64U; in init_vept()553 memset((void *)sept_page_pool.bitmap, 0, sept_page_pool.bitmap_size * sizeof(uint64_t)); in init_vept()
123 uint64_t bitmap_size; /**< The number of bitmap. */ member
Completed in 8 milliseconds