#include "xbt/sysdep.h"
#include "xbt/xbt_portability.h" /* private */
#include "xbt/log.h"
-#include "xbt/error.h"
#include "portable.h"
+/** @brief like free
+ @hideinitializer */
+XBT_PUBLIC(void) xbt_free_f(void* p)
+{
+ free(p);
+}
+
+
/* TSC (tick-level) timers are said to be unreliable on SMP hosts and thus
disabled in SDL source code */
#endif /* HAVE_GETTIMEOFDAY? */
}
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(sysdep, xbt, "System dependency");
+/*XBT_LOG_NEW_DEFAULT_SUBCATEGORY(sysdep, xbt, "System dependency");*/
struct s_xbt_os_timer {
#endif
}
double xbt_os_timer_elapsed(xbt_os_timer_t timer) {
+#ifdef HAVE_GETTIMEOFDAY
return ((double)timer->stop.tv_sec) - ((double)timer->start.tv_sec) +
((((double)timer->stop.tv_usec) - ((double)timer->start.tv_usec)) / 1000000.0);
+#else
+ return (double)timer->stop - (double)timer->start;
+#endif
}