Don't pass khz to pmtimer_setup - it's always PM_TIMER_FREQUENCY.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

1 files changed, 1 insertions, 1 deletions

diff --git a/src/util.h b/src/util.h
index 19733cd..15982e2 100644
--- a/src/util.h
+++ b/src/util.h
@@ -282,7 +282,7 @@ void useRTC(void);
 void releaseRTC(void);
 
 // timer.c
-void pmtimer_setup(u16 ioport, u32 khz);
+void pmtimer_setup(u16 ioport);
 int check_tsc(u64 end);
 void timer_setup(void);
 void ndelay(u32 count);