X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/74c54d770c8a3c775a801b64fdaa5b84843798c0..e7def5a590eef8c9e9bc434260954c81c7661be0:/src/xbt/xbt_os_synchro.cpp

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index 79b0b19d8e..b78dfdd2ac 100644
--- a/src/xbt/xbt_os_synchro.cpp
+++ b/src/xbt/xbt_os_synchro.cpp
@@ -66,12 +66,14 @@ int xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
 
 void xbt_cond_signal(xbt_cond_t cond)
 {
-  simcall_cond_signal((smx_cond_t)cond);
+  // FIXME: this should use s4u
+  simgrid::simix::kernelImmediate([cond]() { cond->signal(); });
 }
 
 void xbt_cond_broadcast(xbt_cond_t cond)
 {
-  simcall_cond_broadcast((smx_cond_t)cond);
+  // FIXME: this should use s4u
+  simgrid::simix::kernelImmediate([cond]() { cond->broadcast(); });
 }
 
 void xbt_cond_destroy(xbt_cond_t cond)