X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c74cd8ff2a61ce60dcbb71c6b169c51c1085e059..6136b9032da25f741fa0bc6e9f3fb5bf45a541ef:/src/mc/mc_object_info.h

diff --git a/src/mc/mc_object_info.h b/src/mc/mc_object_info.h
index 1da12e81a6..91d8825988 100644
--- a/src/mc/mc_object_info.h
+++ b/src/mc/mc_object_info.h
@@ -13,20 +13,10 @@
 #include <xbt/base.h>
 
 #include "mc_forward.hpp"
-#include "mc_memory_map.h"
+#include "src/xbt/memory_map.hpp"
 
 XBT_PRIVATE std::shared_ptr<simgrid::mc::ObjectInformation> MC_find_object_info(
-  std::vector<simgrid::mc::VmMap> const& maps, const char* name, int executable);
+  std::vector<simgrid::xbt::VmMap> const& maps, const char* name);
 XBT_PRIVATE  void MC_post_process_object_info(simgrid::mc::Process* process, simgrid::mc::ObjectInformation* info);
 
-XBT_PRIVATE  void MC_dwarf_get_variables(simgrid::mc::ObjectInformation* info);
-XBT_PRIVATE  void MC_dwarf_get_variables_libdw(simgrid::mc::ObjectInformation* info);
-
-XBT_PRIVATE  const char* MC_dwarf_attrname(int attr);
-XBT_PRIVATE  const char* MC_dwarf_tagname(int tag);
-
-XBT_PRIVATE  void* mc_member_resolve(
-  const void* base, simgrid::mc::Type* type, simgrid::mc::Type* member,
-  simgrid::mc::AddressSpace* snapshot, int process_index);
-
 #endif