[mc] Abstract the process and a snapshot types with a address_space superclass

[simgrid.git] / src / mc / mc_page_snapshot.cpp

diff --git a/src/mc/mc_page_snapshot.cpp b/src/mc/mc_page_snapshot.cpp
index 79caa3a..16c8508 100644 (file)
--- a/src/mc/mc_page_snapshot.cpp
+++ b/src/mc/mc_page_snapshot.cpp
@@ -31,7 +31,7 @@ size_t* mc_take_page_snapshot_region(mc_process_t process,
 
   void* temp = NULL;
   if (!is_self)
-    temp = malloc(xbt_pagebits);
+    temp = malloc(xbt_pagesize);
 
   for (size_t i=0; i!=page_count; ++i) {
     bool softclean = pagemap && !(pagemap[i] & SOFT_DIRTY);
@@ -56,7 +56,8 @@ size_t* mc_take_page_snapshot_region(mc_process_t process,
             - move the segments in shared memory (this will break `fork` however).
         */
         page_data = temp;
-        MC_process_read(process, temp, page, xbt_pagesize);
+        MC_process_read(process, MC_ADDRESS_SPACE_READ_FLAGS_NONE,
+          temp, page, xbt_pagesize, MC_PROCESS_INDEX_DISABLED);
       }
       pagenos[i] = mc_model_checker->pages->store_page(page_data);
     }