Rename check_time() to check_tsc().

[seabios.git] / src / util.h

diff --git a/src/util.h b/src/util.h
index a5c5b759245e4d6d649d7df0c3dbbd180878e7d2..7902e83aede4b0db071882b63cea1d536044d21e 100644 (file)
--- 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);