X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9cf73cc09740865d0de90546a12b2e2d74cfaf6f..3bda7845c0cceaaeedd5d0371434927c8cf6231d:/src/mc/mc_memory_map.h

diff --git a/src/mc/mc_memory_map.h b/src/mc/mc_memory_map.h
deleted file mode 100644
index 786085486c..0000000000
--- a/src/mc/mc_memory_map.h
+++ /dev/null
@@ -1,49 +0,0 @@
-/* Copyright (c) 2007-2015. 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. */
-
-#ifndef SIMGRID_MC_MEMORY_MAP_H
-#define SIMGRID_MC_MEMORY_MAP_H
-
-#include <cstdint>
-
-#include <string>
-#include <vector>
-
-#include <sys/types.h>
-
-#include <xbt/base.h>
-
-#include <simgrid_config.h>
-#include "mc_forward.hpp"
-
-namespace simgrid {
-namespace mc {
-
-/** An virtual memory map entry from /proc/$pid/maps */
-struct VmMap {
-  std::uint64_t start_addr, end_addr;
-  int prot;                     /* Memory protection */
-  int flags;                    /* Additional memory flags */
-  std::uint64_t offset;         /* Offset in the file/whatever */
-  char dev_major;               /* Major of the device */
-  char dev_minor;               /* Minor of the device */
-  unsigned long inode;          /* Inode in the device */
-  std::string pathname;         /* Path name of the mapped file */
-};
-
-XBT_PRIVATE std::vector<VmMap> get_memory_map(pid_t pid);
-
-}
-}
-
-extern "C" {
-
-XBT_PRIVATE void MC_find_object_address(
-  std::vector<simgrid::mc::VmMap> const& maps, simgrid::mc::ObjectInformation* result);
-
-}
-
-#endif