-case SIMCALL_RDV_GET_HEAD:
- simcall->result.dp = SIMIX_rdv_get_head((smx_mailbox_t) simcall->args[0].dp);
- SIMIX_simcall_answer(simcall);
- break;
-
-case SIMCALL_RDV_SET_RECEIVER:
- SIMIX_rdv_set_receiver((smx_mailbox_t) simcall->args[0].dp,(smx_process_t) simcall->args[1].dp);
- SIMIX_simcall_answer(simcall);
- break;
-
-case SIMCALL_RDV_GET_RECEIVER:
- simcall->result.dp = SIMIX_rdv_get_receiver((smx_mailbox_t) simcall->args[0].dp);
+case SIMCALL_MBOX_GET_RECEIVER:
+ simcall->result.dp = SIMIX_mbox_get_receiver((smx_mailbox_t) simcall->args[0].dp);