-extern void timer_init(
- timer_t this_timer);
-
-/* Normalize timer value */
-extern void timer_normalize(
- timer_t timer);
-
-/* Read value of timer into tv */
-extern void timer_read(
- timer_t timer,
- time_value_t *tv);
-
-/* Read thread times */
-extern void thread_read_times(
- thread_t thread,
- time_value_t *user_time_p,
- time_value_t *system_time_p);
-
-/* Compute timer difference */
-extern unsigned timer_delta(
- timer_t timer,
- timer_save_t save);
-
-#if STAT_TIME
-/*
- * Macro to bump timer values.
- */
-#define timer_bump(timer, usec) \
-MACRO_BEGIN \
- (timer)->low_bits += usec; \
- if ((timer)->low_bits & TIMER_LOW_FULL) { \
- timer_normalize(timer); \
- } \
-MACRO_END
-
-#else /* STAT_TIME */