[mc] Make snapshots compatible with SMPI privatization of global variables

[simgrid.git] / src / smpi / private.h

diff --git a/src/smpi/private.h b/src/smpi/private.h
index e692c38..74ee1b6 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -589,5 +589,8 @@ void TRACE_smpi_finalize(int rank);
 
 const char* encode_datatype(MPI_Datatype datatype);
 
+// TODO, make this static and expose it more cleanly
+extern void** mappings;
+extern int loaded_page;
 
 #endif