-/*
- * Time elapsed since the beginning of the simulation.
- */
-double xbt_time()
-{
- /* FIXME: check if we should use the request mechanism or not */
- return SIMIX_get_clock();
-}
-
-/*
- * Freeze the process for the specified amount of time
- */
-void xbt_sleep(double sec)
-{
- simcall_process_sleep(sec);
-}
-