-SG_workstation_t __SG_workstation_create(const char *name, void *surf_workstation, void *data) {
- SG_workstation_data_t sgdata = xbt_new0(s_SG_workstation_data_t, 1); /* workstation private data */
- sgdata->surf_workstation = surf_workstation;
+SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data) {
+ CHECK_INIT_DONE();
+
+ SD_workstation_data_t sd_data = xbt_new0(s_SD_workstation_data_t, 1); /* workstation private data */
+ sd_data->surf_workstation = surf_workstation;