don't destroy synchro in a simcall, this drives the JVM nuts

[simgrid.git] / src / simix / popping.cpp

diff --git a/src/simix/popping.cpp b/src/simix/popping.cpp
index eef1ea8..facf8e8 100644 (file)
--- a/src/simix/popping.cpp
+++ b/src/simix/popping.cpp
@@ -59,3 +59,9 @@ void SIMIX_simcall_exit(smx_synchro_t synchro)
       break;
   }
 }
+
+void SIMIX_run_kernel(void* code)
+{
+  std::function<void()>* function = (std::function<void()>*) code;
+  (*function)();
+}
\ No newline at end of file