+/** @brief gets the result of previous syscall
+ *
+ * This function is only useful in state machine mechanism.
+ *
+ * In this case, the execution of every SIMIX_req_* function above was cut at
+ * SIMIX_request_push(), which calls yield() which calls suspend(), which longjmp
+ * to the point right before running the user code. When the control is passed
+ * back to the user, he needs to get the result of the syscall he did.
+ * That is why this function is made for.
+ *
+ * To extend this function, simply make sure that the end of the SIMIX_req_*
+ * function matches what is written in this big switch
+ */
+void *SIMIX_request_get_result(int kind) {
+ smx_req_t req = SIMIX_req_mine();
+ switch ((e_smx_req_t) kind) {
+ case REQ_NO_REQ:
+ xbt_die("There is no request waiting, cannot provide the result");
+ case REQ_HOST_GET_BY_NAME:
+ return req->host_get_by_name.result;
+ case REQ_HOST_GET_NAME:
+ return (void*)req->host_get_name.result;
+ case REQ_HOST_GET_PROPERTIES:
+ return req->host_get_properties.result;
+ case REQ_HOST_GET_SPEED:
+ return &req->host_get_speed.result; /* double */
+ case REQ_HOST_GET_AVAILABLE_SPEED:
+ return &req->host_get_available_speed.result; /* double */
+ case REQ_HOST_GET_STATE:
+ return &req->host_get_state.result; /* int */
+ case REQ_HOST_GET_DATA:
+ return req->host_get_data.result;
+ case REQ_HOST_SET_DATA:
+ return NULL; /* void */
+ case REQ_HOST_EXECUTE:
+ return req->host_execute.result;
+ case REQ_HOST_PARALLEL_EXECUTE:
+ return req->host_parallel_execute.result;
+ case REQ_HOST_EXECUTION_DESTROY:
+ return NULL; /* void */
+ case REQ_HOST_EXECUTION_CANCEL:
+ return NULL; /* void */
+ case REQ_HOST_EXECUTION_GET_REMAINS:
+ return &req->host_execution_get_remains.result; /* double */
+ case REQ_HOST_EXECUTION_GET_STATE:
+ return &req->host_execution_get_state.result; /* e_smx_state_t */
+ case REQ_HOST_EXECUTION_SET_PRIORITY:
+ return NULL; /* void */
+ case REQ_HOST_EXECUTION_WAIT:
+ return NULL; /* void */
+ case REQ_PROCESS_CREATE:
+ return req->process_create.result;
+ case REQ_PROCESS_KILL:
+ return NULL; /* void */
+ case REQ_PROCESS_CHANGE_HOST:
+ return NULL; /* void */
+ case REQ_PROCESS_SUSPEND:
+ return NULL; /* void */
+ case REQ_PROCESS_RESUME:
+ return NULL; /* void */
+ case REQ_PROCESS_COUNT:
+ return &req->process_count.result; /* int */
+ case REQ_PROCESS_GET_DATA:
+ return req->process_get_data.result;
+ case REQ_PROCESS_SET_DATA:
+ return NULL; /* void */
+ case REQ_PROCESS_GET_HOST:
+ return req->process_get_host.result;
+ case REQ_PROCESS_GET_NAME:
+ return (void*)req->process_get_name.result;
+ case REQ_PROCESS_IS_SUSPENDED:
+ return &req->process_is_suspended.result; /* int */
+ case REQ_PROCESS_GET_PROPERTIES:
+ return req->process_get_properties.result;
+ case REQ_PROCESS_SLEEP:
+ return &req->process_sleep.result; /* e_smx_state_t */
+ case REQ_RDV_CREATE:
+ return req->rdv_create.result;
+ case REQ_RDV_DESTROY:
+ return NULL; /* void */
+ case REQ_RDV_GEY_BY_NAME:
+ return req->rdv_get_by_name.result;
+ case REQ_RDV_COMM_COUNT_BY_HOST:
+ return &req->rdv_comm_count_by_host.result; /* int */
+ case REQ_RDV_GET_HEAD:
+ return req->rdv_get_head.result;
+ case REQ_COMM_ISEND:
+ return req->comm_isend.result;
+ case REQ_COMM_IRECV:
+ return req->comm_irecv.result;
+ case REQ_COMM_DESTROY:
+ case REQ_COMM_CANCEL:
+ return NULL; /* void */
+ case REQ_COMM_WAITANY:
+ return &req->comm_waitany.result;
+ case REQ_COMM_TESTANY:
+ return &req->comm_testany.result;
+ case REQ_COMM_WAIT:
+ return NULL; /* void */