+ void *data; /* user data */
+ e_SD_workstation_access_mode_t access_mode;
+
+ xbt_fifo_t task_fifo; /* only used in sequential mode */
+ SD_task_t current_task; /* only used in sequential mode */
+} s_SD_workstation_priv_t, *SD_workstation_priv_t;
+
+/* Storage */
+typedef s_xbt_dictelm_t s_SD_storage_t;
+typedef struct SD_storage {
+ void *data; /* user data */
+ const char *host;
+} s_SD_storage_priv_t, *SD_storage_priv_t;
+
+static inline SD_storage_priv_t SD_storage_priv(SD_storage_t storage){
+ return (SD_storage_priv_t)xbt_lib_get_level(storage, SD_STORAGE_LEVEL);
+}