+ 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;
+
+static inline SD_workstation_priv_t SD_workstation_priv(SD_workstation_t host){
+ return xbt_lib_get_level(host, SD_HOST_LEVEL);
+}
+
+/* Storage */
+typedef s_xbt_dictelm_t s_SD_storage_t;
+typedef struct SD_storage {
+ void *data; /* user data */
+} s_SD_storage_priv_t, *SD_storage_priv_t;
+