X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/978a9da87ac03ecca12d6980e56b8f31989f2bdf..8cd2aa3aa4d99f1fc6a0127426b2fb6586a454a3:/src/mc/mc_page_store.cpp

diff --git a/src/mc/mc_page_store.cpp b/src/mc/mc_page_store.cpp
index e095e85922..85ef6a72f5 100644
--- a/src/mc/mc_page_store.cpp
+++ b/src/mc/mc_page_store.cpp
@@ -34,7 +34,8 @@ static void mc_read_pagemap(uint64_t* pagemap, size_t page_start, size_t page_co
  *  @param data Memory page
  *  @return hash off the page
  */
-static inline uint64_t mc_hash_page(const void* data)
+static inline  __attribute__ ((always_inline))
+uint64_t mc_hash_page(const void* data)
 {
   const uint64_t* values = (const uint64_t*) data;
   size_t n = xbt_pagesize / sizeof(uint64_t);
@@ -162,6 +163,11 @@ size_t s_mc_pages_store::store_page(void* page)
 
 extern "C" {
 
+const void* mc_page_store_get_page(mc_pages_store_t page_store, size_t pageno)
+{
+  return page_store->get_page(pageno);
+}
+
 mc_pages_store_t mc_pages_store_new()
 {
   return new s_mc_pages_store_t(500);