XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_workstation, surf,
"Logging specific to the SURF workstation module");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_workstation, surf,
"Logging specific to the SURF workstation module");
static void update_resource_state(void *id,
tmgr_trace_event_t event_type,
static void update_resource_state(void *id,
tmgr_trace_event_t event_type,
surf_cpu_model_init_Cas01(filename);
surf_network_model_init_CM02(filename);
update_model_description(surf_workstation_model_description,
surf_cpu_model_init_Cas01(filename);
surf_network_model_init_CM02(filename);
update_model_description(surf_workstation_model_description,
surf_workstation_model_init_internal();
update_model_description(surf_workstation_model_description,
surf_workstation_model_init_internal();
update_model_description(surf_workstation_model_description,