return simcall_BODY_host_get_core(host);
}
+/**
+ * \ingroup simix_host_management
+ * \brief Returns the list of processes attached to the host.
+ *
+ * \param host A SIMIX host
+ * \return the swag of attached processes
+ */
+xbt_swag_t simcall_host_get_process_list(smx_host_t host)
+{
+ return simcall_BODY_host_get_process_list(host);
+}
/**
return simcall_BODY_file_get_size(fd);
}
+/**
+ * \ingroup simix_storage_management
+ *
+ */
+size_t simcall_storage_get_free_size (smx_storage_t storage){
+ return simcall_BODY_storage_get_free_size(storage);
+}
+
#ifdef HAVE_MC
void *simcall_mc_snapshot(void)