#include "smx_private.h"
#include "xbt/fifo.h"
#include "xbt/xbt_os_thread.h"
-#ifdef HAVE_MC
+#if HAVE_MC
#include "src/mc/mc_private.h"
#endif
break;
}
}
+
+void SIMIX_run_kernel(void* code)
+{
+ std::function<void()>* function = (std::function<void()>*) code;
+ (*function)();
+}