-XBT_INTERNAL void mc_restore_page_snapshot_region(
- mc_process_t process,
- void* start_addr, simgrid::mc::PerPageCopy const& pagenos);
+XBT_PRIVATE void mc_restore_page_snapshot_region(
+ simgrid::mc::Process* process,
+ void* start_addr, simgrid::mc::ChunkedData const& pagenos);