src/xbt/xbt_rl_time.c

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