} // namespace kernel
}
-XBT_PRIVATE void simcall_HANDLER_cond_signal(smx_simcall_t simcall, smx_cond_t cond)
+XBT_PRIVATE void simcall_HANDLER_cond_signal(smx_simcall_t /*simcall*/, smx_cond_t cond)
{
cond->signal();
}
-XBT_PRIVATE void simcall_HANDLER_cond_broadcast(smx_simcall_t simcall, smx_cond_t cond)
+XBT_PRIVATE void simcall_HANDLER_cond_broadcast(smx_simcall_t /*simcall*/, smx_cond_t cond)
{
cond->broadcast();
}