-namespace {
-typedef std::pair<double, smx_timer_t> TimerQelt;
-std::priority_queue<TimerQelt, std::vector<TimerQelt>, std::greater<TimerQelt>> simix_timers;
-void SIMIX_timer_flush()
-{
- while (not simix_timers.empty() && simix_timers.top().second->isDisabled()) {
- delete simix_timers.top().second;
- simix_timers.pop();
- }
-}
-}
-
-void (*SMPI_switch_data_segment)(int) = nullptr;