-case SIMCALL_EXECUTION_GET_REMAINS:
- simcall->result.d = SIMIX_execution_get_remains((smx_synchro_t) simcall->args[0].dp);
- SIMIX_simcall_answer(simcall);
- break;
-
-case SIMCALL_EXECUTION_GET_STATE:
- simcall->result.i = SIMIX_execution_get_state((smx_synchro_t) simcall->args[0].dp);
- SIMIX_simcall_answer(simcall);
- break;
-