}
static void smx_ctx_boost_resume_serial(smx_process_t first_process)
{
smx_ctx_boost_t context = (smx_ctx_boost_t) first_process->context;
SIMIX_context_set_current((smx_context_t) context);
}
static void smx_ctx_boost_resume_serial(smx_process_t first_process)
{
smx_ctx_boost_t context = (smx_ctx_boost_t) first_process->context;
SIMIX_context_set_current((smx_context_t) context);