-/* Interval between updates to the reported time, in ms. This should not be
- * adjusted much below 10 ms or so with the current implementation, or too
- * much time will be wasted in signal handlers and calls to clock_gettime(). */
-#define TIME_UPDATE_INTERVAL 100
-
-void time_disable_restart(void);
-void time_enable_restart(void);
-void time_postfork(void);
-void time_refresh(void);