- std::vector<std::uint64_t> pagemap;
- const size_t* ref_page_numbers = nullptr;
- if (use_soft_dirty) {
- pagemap.resize(page_count);
- process->read_pagemap(pagemap.data(),
- simgrid::mc::mmu::split((std::size_t) permanent_addr).first, page_count);
- ref_page_numbers = ref_region->page_data().pagenos();
- }
-