A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[mc] Use the symbolic values for the xbt_automaton_exp_label::type enum
[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
217b58e
..
7677ad1
100644
(file)
--- a/
src/mc/mc_page_snapshot.cpp
+++ b/
src/mc/mc_page_snapshot.cpp
@@
-35,7
+35,7
@@
void mc_restore_page_snapshot_region(simgrid::mc::Process* process,
{
for (size_t i = 0; i != pages_copy.page_count(); ++i) {
// Otherwise, copy the page:
- void* target_page =
mc_page_from_number(start_addr, i
);
+ void* target_page =
(void*) simgrid::mc::mmu::join(i, (std::uintptr_t) start_addr
);
const void* source_page = pages_copy.page(i);
process->write_bytes(source_page, xbt_pagesize, remote(target_page));
}
@@
-47,7
+47,7
@@
void mc_region_restore_sparse(simgrid::mc::Process* process, mc_mem_region_t reg
{
xbt_assert(((reg->permanent_address().address()) & (xbt_pagesize-1)) == 0,
"Not at the beginning of a page");
- xbt_assert(
mc_page_c
ount(reg->size()) == reg->page_data().page_count());
+ xbt_assert(
simgrid::mc::mmu::chunkC
ount(reg->size()) == reg->page_data().page_count());
mc_restore_page_snapshot_region(process,
(void*) reg->permanent_address().address(), reg->page_data());
}