Searched refs:num_virtual_pages (Results 1 – 1 of 1) sorted by relevance
1228 size_t num_virtual_pages = virtual_page_idx_end - virtual_page_idx_begin; in Init() local1231 std::vector<uint64_t> page_frame_numbers(num_virtual_pages); in Init()1241 std::vector<uint64_t> page_flags(num_virtual_pages); in Init()