XBT_PUBLIC(e_SD_workstation_access_mode_t)
SD_workstation_get_access_mode(SD_workstation_t workstation);
XBT_PUBLIC(void) SD_workstation_set_access_mode(SD_workstation_t
XBT_PUBLIC(e_SD_workstation_access_mode_t)
SD_workstation_get_access_mode(SD_workstation_t workstation);
XBT_PUBLIC(void) SD_workstation_set_access_mode(SD_workstation_t