- xbt_fifo_t task_fifo; /* only used in sequential mode */
- SD_task_t current_task; /* only used in sequential mode */
-} s_SD_workstation_t;
+ 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 */
+ 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 xbt_lib_get_level(storage, SD_STORAGE_LEVEL);
+}