/* \file UContext.cpp Context switching with ucontexts from System V */
-#include "mc/mc.h"
#include "simgrid/Exception.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
+#include "src/mc/mc.h"
#include "src/mc/remote/AppSide.hpp"
#include "ContextUnix.hpp"
UContext* arg = this;
memcpy(ctx_addr, &arg, sizeof arg);
makecontext(&this->uc_, (void (*)())sysv_ctx_wrapper, 2, ctx_addr[0], ctx_addr[1]);
-
-#if SIMGRID_HAVE_MC
- if (MC_is_active())
- simgrid::mc::AppSide::get()->declare_stack(get_stack(), stack_size, &uc_);
-#endif
}
}