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,