"SIMCALL_PROCESS_SLEEP",
"SIMCALL_EXECUTION_START",
"SIMCALL_EXECUTION_PARALLEL_START",
"SIMCALL_PROCESS_SLEEP",
"SIMCALL_EXECUTION_START",
"SIMCALL_EXECUTION_PARALLEL_START",
"SIMCALL_EXECUTION_CANCEL",
"SIMCALL_EXECUTION_SET_PRIORITY",
"SIMCALL_EXECUTION_SET_BOUND",
"SIMCALL_EXECUTION_CANCEL",
"SIMCALL_EXECUTION_SET_PRIORITY",
"SIMCALL_EXECUTION_SET_BOUND",
* @brief (in kernel mode) unpack the simcall and activate the handler
*
* This function is generated from src/simix/simcalls.in
* @brief (in kernel mode) unpack the simcall and activate the handler
*
* This function is generated from src/simix/simcalls.in
case SIMCALL_EXECUTION_CANCEL:
SIMIX_execution_cancel((smx_synchro_t) simcall->args[0].dp);
SIMIX_simcall_answer(simcall);
case SIMCALL_EXECUTION_CANCEL:
SIMIX_execution_cancel((smx_synchro_t) simcall->args[0].dp);
SIMIX_simcall_answer(simcall);