SD_workstation_get_mounted_storage_list(SD_workstation_t workstation);
XBT_PUBLIC(xbt_dynar_t)
SD_workstation_get_attached_storage_list(SD_workstation_t workstation);
SD_workstation_get_mounted_storage_list(SD_workstation_t workstation);
XBT_PUBLIC(xbt_dynar_t)
SD_workstation_get_attached_storage_list(SD_workstation_t workstation);