#include <cstddef>
#include <utility>
+#include <memory>
+#include <vector>
+
#include <xbt/base.h>
-#include <mc/PageStore.hpp>
-#include <mc/AddressSpace.hpp>
-#include <mc/ChunkedData.hpp>
+#include "src/mc/remote_ptr.hpp"
+#include "src/mc/PageStore.hpp"
+#include "src/mc/AddressSpace.hpp"
+#include "src/mc/ChunkedData.hpp"
namespace simgrid {
namespace mc {
};
RegionSnapshot privatized_region(
- RegionType type, void *start_addr, void* data_addr, std::size_t size);
+ RegionType region_type, void *start_addr, void* permanent_addr,
+ std::size_t size, const RegionSnapshot* ref_region);
RegionSnapshot dense_region(
RegionType type, void *start_addr, void* data_addr, std::size_t size);
simgrid::mc::RegionSnapshot sparse_region(