#include "simgrid/simix.h"
#include "popping_private.h"
-#include "simgrid/s4u/VirtualMachine.hpp"
#include "src/kernel/activity/SynchroExec.hpp"
/** @brief Host datatype from SIMIX POV */
typedef simgrid::simix::Host s_smx_host_priv_t;
SG_BEGIN_DECL()
-XBT_PRIVATE void _SIMIX_host_free_process_arg(void *);
-
XBT_PRIVATE void SIMIX_host_add_auto_restart_process(sg_host_t host,
const char *name,
std::function<void()> code,