Don't use RTC to time boot menu delay.

[seabios.git] / src / util.h

diff --git a/src/util.h b/src/util.h
index 09d9e4090f8ced0e2e1c67fcb0577f14fe2968f6..b475c428e1cf8b45b43dea273f44abae96c9242e 100644 (file)
--- a/src/util.h
+++ b/src/util.h
@@ -193,7 +193,6 @@ void *memcpy(void *d1, const void *s1, size_t len);
 void iomemcpy(void *d, const void *s, u32 len);
 void *memmove(void *d, const void *s, size_t len);
 char *strtcpy(char *dest, const char *src, size_t len);
-void biosusleep(u32 usec);
 int get_keystroke(int msec);
 
 // stacks.c