-XBT_PRIVATE void SIMIX_host_add_auto_restart_process(sg_host_t host, simgrid::kernel::actor::ActorImpl* actor);
-XBT_PRIVATE void SIMIX_host_autorestart(sg_host_t host);
-
-XBT_PRIVATE void SIMIX_execution_finish(smx_activity_t synchro);
-
-XBT_PRIVATE void SIMIX_set_category(smx_activity_t synchro, std::string category);
-
-XBT_PRIVATE simgrid::kernel::activity::ExecImplPtr SIMIX_execution_start(std::string name, std::string category,
- double flops_amount, double priority,
- double bound, sg_host_t host);