-/* Copyright (c) 2007-2014. The SimGrid Team.
+/* 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 MC_MEMORY_MAP_H
-#define MC_MEMORY_MAP_H
+#ifndef SIMGRID_MC_MEMORY_MAP_H
+#define SIMGRID_MC_MEMORY_MAP_H
#include <cstdint>
#include <sys/types.h>
+#include <xbt/base.h>
+
#include <simgrid_config.h>
-#include "mc_forward.h"
+#include "mc_forward.hpp"
namespace simgrid {
namespace mc {
std::string pathname; /* Path name of the mapped file */
};
-std::vector<VmMap> get_memory_map(pid_t pid);
+XBT_PRIVATE std::vector<VmMap> get_memory_map(pid_t pid);
}
}
extern "C" {
-XBT_INTERNAL void MC_find_object_address(
- std::vector<simgrid::mc::VmMap> const& maps, mc_object_info_t result);
+XBT_PRIVATE void MC_find_object_address(
+ std::vector<simgrid::mc::VmMap> const& maps, simgrid::mc::ObjectInformation* result);
}