3 /* time - time related syscal wrappers */
5 /* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved. */
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. */
10 #include <math.h> /* floor */
14 #include "xbt/sysdep.h"
16 #include "gras/virtu.h"
17 #include "xbt/xbt_os_time.h" /* private */
19 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(gras_virtu);
20 double xbt_time(void) {
23 void xbt_sleep(double sec) {