X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ac9197eec3a25524040ce2f55021ba590788c3a3..456b6d3ad70c7d50f625fb9a96d14e35aa091ad8:/src/mc/sosp/ChunkedData.cpp diff --git a/src/mc/sosp/ChunkedData.cpp b/src/mc/sosp/ChunkedData.cpp index c51891ca92..75c53416d4 100644 --- a/src/mc/sosp/ChunkedData.cpp +++ b/src/mc/sosp/ChunkedData.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -6,8 +6,7 @@ #include "src/mc/AddressSpace.hpp" #include "src/mc/sosp/ChunkedData.hpp" -namespace simgrid { -namespace mc { +namespace simgrid::mc { /** Take a per-page snapshot of a region * @@ -22,7 +21,6 @@ ChunkedData::ChunkedData(PageStore& store, const AddressSpace& as, RemotePtr buffer(xbt_pagesize); for (size_t i = 0; i != page_count; ++i) { - RemotePtr page = remote((void*)simgrid::mc::mmu::join(i, addr.address())); xbt_assert(simgrid::mc::mmu::split(page.address()).second == 0, "Not at the beginning of a page"); @@ -40,5 +38,4 @@ ChunkedData::ChunkedData(PageStore& store, const AddressSpace& as, RemotePtr