+void xbt_os_timer_resume(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+
+ timer->elapse.tv_nsec += timer->stop.tv_nsec - timer->start.tv_nsec;
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->start));
+#elif defined(HAVE_GETTIMEOFDAY)
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+
+ timer->elapse.tv_usec += timer->stop.tv_usec - timer->start.tv_usec;
+ gettimeofday(&(timer->start), NULL);
+#else
+ timer->elapse = timer->stop - timer->start;
+ timer->start = (unsigned long int) (time(NULL));
+#endif
+}
+
+void xbt_os_timer_start(xbt_os_timer_t timer)
+{