diff options
Diffstat (limited to 'kern/timer.h')
| -rw-r--r-- | kern/timer.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/kern/timer.h b/kern/timer.h index 2f473cf8..35782b41 100644 --- a/kern/timer.h +++ b/kern/timer.h @@ -184,4 +184,12 @@ extern void init_timers(void); void timer_init(timer_t this_timer); +#if MACH_DEBUG +void db_thread_read_times( + thread_t thread, + time_value_t *user_time_p, + time_value_t *system_time_p); +#endif + + #endif /* _KERN_TIMER_H_ */ |