void* args;
} s_smx_timer_t;
+void (*SMPI_switch_data_segment)(int) = NULL;
+
static void* SIMIX_synchro_mallocator_new_f(void);
static void SIMIX_synchro_mallocator_free_f(void* synchro);
static void SIMIX_synchro_mallocator_reset_f(void* synchro);
{
return (xbt_dict_t) xbt_lib_get_or_null(as_router_lib, name, ROUTING_PROP_ASR_LEVEL);
}
+
+int SIMIX_is_maestro()
+{
+ return SIMIX_process_self() == simix_global->maestro_process;
+}
\ No newline at end of file