-/* Time trap entry */
-extern void time_trap_uentry(
- unsigned ts);
-
-/* Time trap exit */
-extern void time_trap_uexit(
- unsigned ts);
-
-/* Time interrupt entry */
-extern timer_t time_int_entry(
- unsigned ts,
- timer_t new_timer);
-
-/* Time interrrupt exit */
-extern void time_int_exit(
- unsigned ts,
- timer_t old_timer);
-
-#endif /* STAT_TIME */
-
-/*
- * TIMER_DELTA finds the difference between a timer and a saved value,
- * and updates the saved value. Look at high_bits check field after
- * reading low because that's the first written by a normalize
- * operation; this isn't necessary for current usage because
- * this macro is only used when the timer can't be normalized:
- * thread is not running, or running thread calls it on itself at
- * splsched().
- */