/* create and start the process */
/* NOTE: The first argument to xbt_os_thread_create used to be the process *
* name, but now the name is stored at SIMIX level, so we pass a null */
context->thread =
xbt_os_thread_create(NULL, smx_ctx_thread_wrapper, context, context);
/* create and start the process */
/* NOTE: The first argument to xbt_os_thread_create used to be the process *
* name, but now the name is stored at SIMIX level, so we pass a null */
context->thread =
xbt_os_thread_create(NULL, smx_ctx_thread_wrapper, context, context);