- xbt_cfg_set_as_string(key, value);
-}
-
-/** \ingroup msg_simulation
- * \brief Kill all running process
-
- * \param reset_PIDs should we reset the PID numbers. A negative
- * number means no reset and a positive number will be used to set the PID
- * of the next newly created process.
- */
-int MSG_process_killall(int reset_PIDs)
-{
- simcall_process_killall(reset_PIDs);
-
- return 0;