#include "xbt/swag.h"
#include "xbt/xbt_os_thread.h"
#include "xbt_modinter.h" /* prototype of os thread module's init/exit in XBT */
+#include "simix/smx_context_private.h"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);
static void smx_ctx_thread_free(smx_context_t pcontext)
{
- int i;
smx_ctx_thread_t context = (smx_ctx_thread_t)pcontext;
/* check if this is the context of maestro (it doesn't has a real thread) */