[mc] Fix mc_translate_address_region() for per-page snapshots

[simgrid.git] / src / mc / mc_page_store.cpp

diff --git a/src/mc/mc_page_store.cpp b/src/mc/mc_page_store.cpp
index e095e85..467ade6 100644 (file)
--- a/src/mc/mc_page_store.cpp
+++ b/src/mc/mc_page_store.cpp
@@ -162,6 +162,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);