-#include "xbt/function_types.h"
-#include "simgrid/simix.h"
-
-static int xbt_fake_pid(void)
-{
- return 0;
-}
-
-int_f_void_t xbt_getpid = xbt_fake_pid;
-
-/*
- * 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();
-}