diff options
Diffstat (limited to 'src/devices')
| -rw-r--r-- | src/devices/timer.c | 4 | ||||
| -rw-r--r-- | src/devices/timer.h | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/devices/timer.c b/src/devices/timer.c index 750ac4c..70d854b 100644 --- a/src/devices/timer.c +++ b/src/devices/timer.c @@ -17,8 +17,8 @@ static int64_t ticks; Initialized by timer_calibrate(). */ static unsigned loops_per_tick; -/* Interrupts per second, writen only by timer_init */ -static uint16_t TIMER_FREQ = 0; +/* Interrupts per second, written only by timer_init */ +uint16_t TIMER_FREQ = 0; static intr_handler_func timer_interrupt; static bool too_many_loops (unsigned loops); diff --git a/src/devices/timer.h b/src/devices/timer.h index aee6033..e2f0e0b 100644 --- a/src/devices/timer.h +++ b/src/devices/timer.h @@ -17,4 +17,7 @@ void timer_nsleep (int64_t nanoseconds); void timer_print_stats (void); +/* used by thread test programs */ +extern uint16_t TIMER_FREQ; + #endif /* devices/timer.h */ |