Handle tsc rollover.

[seabios.git] / src / util.h

diff --git a/src/util.h b/src/util.h
index 6cf27ac0dfbc1a16928e4213fd6e5d00b652034d..f95cdb598e803e39808ac61054f5793d85994b74 100644 (file)
--- a/src/util.h
+++ b/src/util.h
@@ -214,6 +214,9 @@ void serial_setup();
 void lpt_setup();
 
 // clock.c
+static inline int check_time(u64 end) {
+    return (s64)(rdtscll() - end) > 0;
+}
 void timer_setup();
 void ndelay(u32 count);
 void udelay(u32 count);