XBT_PRIVATE void smpi_really_switch_data_segment(simgrid::s4u::ActorPtr actor);
XBT_PRIVATE int smpi_is_privatization_file(char* file);
-XBT_PRIVATE void smpi_get_executable_global_size();
+XBT_PRIVATE void smpi_prepare_global_memory_segment();
XBT_PRIVATE void smpi_backup_global_memory_segment();
XBT_PRIVATE void smpi_destroy_global_memory_segments();
XBT_PRIVATE void smpi_bench_destroy();
XBT_PUBLIC int smpi_getopt_long (int argc, char *const *argv, const char *options, const struct option *long_options, int *opt_index);
XBT_PUBLIC int smpi_getopt (int argc, char *const *argv, const char *options);
-// TODO, make this static and expose it more cleanly
-
struct s_smpi_privatization_region_t {
void* address;
int file_descriptor;