Add tracing for RMA calls

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

diff --git a/src/smpi/private.h b/src/smpi/private.h
index 659424dd38d8c13aeecbec289f30410ae60d4cfd..eb9a55040cb4fd4b566ef93490b13b4889cca516 100644 (file)
--- a/src/smpi/private.h
+++ b/src/smpi/private.h
@@ -435,7 +435,9 @@ extern char* start_data_exe; //start of the data+bss segment of the executable
 extern int size_data_exe; //size of the data+bss segment of the executable
 
 
-void smpi_switch_data_segment(int);
+void smpi_switch_data_segment(int dest);
+void smpi_really_switch_data_segment(int dest);
+
 void smpi_get_executable_global_size(void);
 void smpi_initialize_global_memory_segments(void);
 void smpi_destroy_global_memory_segments(void);