diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-03 23:55:07 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 03:31:46 +0200 |
| commit | a2a9484bee39f2cac6253f4d6ae3234f71107f5b (patch) | |
| tree | c8fa378baa26ad66ed4911d7c990c78929d187f1 /src/devices/timer.h | |
| parent | 1413ca739e80172a3f11b0888f2f27f47b2ed056 (diff) | |
| download | pintos-rs-a2a9484bee39f2cac6253f4d6ae3234f71107f5b.tar.gz | |
timer frequency as parameter
Diffstat (limited to 'src/devices/timer.h')
| -rw-r--r-- | src/devices/timer.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/devices/timer.h b/src/devices/timer.h index 38f08df..aee6033 100644 --- a/src/devices/timer.h +++ b/src/devices/timer.h @@ -4,10 +4,7 @@ #include <round.h> #include <stdint.h> -/* Number of timer interrupts per second. */ -#define TIMER_FREQ 1000 - -void timer_init (void); +void timer_init (uint16_t timer_freq); void timer_calibrate (void); int64_t timer_ticks (void); |