src/xbt/xbt_rl_time.c

   1 /* $Id$ */
   2
   3 /* time - time related syscal wrappers                                      */
   4
   5 /* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved.            */
   6
   7 /* This program is free software; you can redistribute it and/or modify it
   8  * under the terms of the license (GNU LGPL) which comes with this package. */
   9
  10 #include <math.h> /* floor */
  11
  12 #include "portable.h"
  13
  14 #include "xbt/sysdep.h"
  15 #include "xbt/log.h"
  16 #include "gras/virtu.h"
  17 #include "xbt/xbt_os_time.h" /* private */
  18
  19 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(gras_virtu);
  20 double xbt_time(void) {
  21         return xbt_os_time();
  22 }
  23 void xbt_sleep(double sec) {
  24         xbt_os_sleep(sec);
  25 }