X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/61d490b47bd1a0369e1a72133d27e2eb486cab40..c7d4536a8384832da2a1d7b9bb9109100aaa0eb2:/src/simix/simcalls.in

diff --git a/src/simix/simcalls.in b/src/simix/simcalls.in
index 75cb831bf4..55858b21f1 100644
--- a/src/simix/simcalls.in
+++ b/src/simix/simcalls.in
@@ -115,4 +115,5 @@ xbt_dict_t asr_get_properties(const char* name);
 int        mc_random(int min, int max);
 void       set_category(smx_synchro_t synchro, const char* category) [[nohandler]];
 
-void       run_kernel(void* code) [[nohandler]];
+void       run_kernel(std::function<void()> const* code) [[nohandler]];
+void       run_blocking(std::function<void()> const* code) [[block,nohandler]];