xbt_mutex_t smpi_process_remote_mailboxes_mutex(int index) { smpi_process_data_t data = smpi_process_remote_data(index); return data->mailboxes_mutex; }
smx_rdv_t smpi_process_remote_mailbox_small(int index) { smpi_process_data_t data = smpi_process_remote_data(index); return data->mailbox_small; }
smx_mailbox_t smpi_process_remote_mailbox(int index) { smpi_process_data_t data = smpi_process_remote_data(index); return data->mailbox; }