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);
+}
/**
* \ingroup simix_file_management
*
*/
-size_t simcall_file_read(void* ptr, size_t size, smx_file_t fd)
+size_t simcall_file_read(size_t size, smx_file_t fd)
{
- return simcall_BODY_file_read(ptr, size, fd);
+ return simcall_BODY_file_read(size, fd);
}
/**
* \ingroup simix_file_management
*
*/
-size_t simcall_file_write(const void* ptr, size_t size,
- smx_file_t fd)
+size_t simcall_file_write(size_t size, smx_file_t fd)
{
- return simcall_BODY_file_write(ptr, size, fd);
+ return simcall_BODY_file_write(size, fd);
}
/**