#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 */
XBT_PRIVATE void SIMIX_set_category(smx_activity_t synchro, const char *category);
-/* vm related stuff */
-XBT_PRIVATE void SIMIX_vm_shutdown(sg_host_t ind_vm, smx_actor_t issuer);
-// --
-
SG_END_DECL()
#endif