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);