XBT_PRIVATE MPI_Comm smpi_process_comm_world(void);
XBT_PRIVATE MPI_Comm smpi_process_get_comm_intra(void);
XBT_PRIVATE void smpi_process_set_comm_intra(MPI_Comm comm);
-XBT_PRIVATE smx_rdv_t smpi_process_mailbox(void);
-XBT_PRIVATE smx_rdv_t smpi_process_remote_mailbox(int index);
-XBT_PRIVATE smx_rdv_t smpi_process_mailbox_small(void);
-XBT_PRIVATE smx_rdv_t smpi_process_remote_mailbox_small(int index);
+XBT_PRIVATE smx_mailbox_t smpi_process_mailbox(void);
+XBT_PRIVATE smx_mailbox_t smpi_process_remote_mailbox(int index);
+XBT_PRIVATE smx_mailbox_t smpi_process_mailbox_small(void);
+XBT_PRIVATE smx_mailbox_t smpi_process_remote_mailbox_small(int index);
XBT_PRIVATE xbt_mutex_t smpi_process_mailboxes_mutex(void);
XBT_PRIVATE xbt_mutex_t smpi_process_remote_mailboxes_mutex(int index);
XBT_PRIVATE xbt_os_timer_t smpi_process_timer(void);
/********** Tracing **********/
-/* from smpi_instr.c */
+/* from instr_smpi.c */
XBT_PRIVATE void TRACE_internal_smpi_set_category (const char *category);
XBT_PRIVATE const char *TRACE_internal_smpi_get_category (void);
XBT_PRIVATE void TRACE_smpi_collective_in(int rank, int root, const char *operation, instr_extra_data extra);