Rename check_time() to check_tsc().

1 files changed, 1 insertions, 1 deletions

diff --git a/src/util.h b/src/util.h
index a5c5b75..7902e83 100644
--- a/src/util.h
+++ b/src/util.h
@@ -292,7 +292,7 @@ void lpt_setup(void);
 // clock.c
 #define PIT_TICK_RATE 1193180   // Underlying HZ of PIT
 #define PIT_TICK_INTERVAL 65536 // Default interval for 18.2Hz timer
-static inline int check_time(u64 end) {
+static inline int check_tsc(u64 end) {
     return (s64)(rdtscll() - end) > 0;
 }
 void timer_setup(void);