X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0e89ec6fd6ecb2a6171da22d3ccc88a24cf5ba1..bfed6d5d4681739a8f146571c3d2f09798d0ecf4:/src/mc/mc_checkpoint.c diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 6fa1de34d1..0fd0907963 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -134,10 +134,6 @@ void MC_init_memory_map_info(){ } -mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){ - return MC_take_snapshot(); -} - mc_snapshot_t MC_take_snapshot() { int raw_mem = (mmalloc_get_current_heap() == raw_heap); @@ -620,6 +616,10 @@ void snapshot_stack_free_voidp(void *s){ snapshot_stack_free((mc_snapshot_stack_t) * (void **) s); } +mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){ + return MC_take_snapshot(); +} + void *MC_snapshot(void){ return simcall_mc_snapshot();