#include <dirent.h>
#include "src/internal_config.h"
-#include "mc_private.h"
+#include "src/mc/mc_private.h"
#include "xbt/module.h"
#include <xbt/mmalloc.h>
#include "src/smpi/private.h"
#include <libunwind.h>
#include <libelf.h>
-#include "mc_private.h"
+#include "src/mc/mc_private.h"
#include <mc/mc.h>
-#include "mc_snapshot.h"
-#include "mc_object_info.h"
-#include "mc_mmu.h"
-#include "mc_unw.h"
-#include "mc_protocol.h"
-#include "mc_smx.h"
+#include "src/mc/mc_snapshot.h"
+#include "src/mc/mc_object_info.h"
+#include "src/mc/mc_mmu.h"
+#include "src/mc/mc_unw.h"
+#include "src/mc/mc_protocol.h"
+#include "src/mc/mc_smx.h"
#include "mc_hash.hpp"
+#include "src/mc/RegionSnapshot.hpp"
#include "src/mc/ObjectInformation.hpp"
#include "src/mc/Frame.hpp"
#include "src/mc/Variable.hpp"
namespace mc {
#ifdef HAVE_SMPI
-simgrid::mc::RegionSnapshot privatized_region(
+RegionSnapshot privatized_region(
RegionType region_type, void *start_addr, void* permanent_addr,
- std::size_t size, const simgrid::mc::RegionSnapshot* ref_region
+ std::size_t size, const RegionSnapshot* ref_region
)
{
size_t process_count = MC_smpi_process_count();