#include <vector>
#include "src/mc/mc_forward.hpp"
-#include "src/mc/AddressSpace.hpp"
#include "src/mc/PageStore.hpp"
namespace simgrid {
}
ChunkedData(PageStore& store, AddressSpace& as,
- remote_ptr<void> addr, std::size_t page_count,
+ RemotePtr<void> addr, std::size_t page_count,
const std::size_t* ref_page_numbers, const std::uint64_t* pagemap);
};