[SeaBIOS] [PATCH 0/4] Don't use RTC to time boot menu delay.

[Kevin O'Connor]

Some real machine can apparently have a flaky real-time-clock.  So,
don't use it for timing the boot menu - the regular timer irq is fine
for this purpose.

Kevin O'Connor (4):
  Allow wait_irq to be called in 32bit code.
  Rename check_time() to check_tsc().
  Generalize timer based delay code.
  Don't use RTC to time boot menu delay.

 Makefile       |    2 +-
 src/ata.c      |    8 +++---
 src/boot.c     |    2 +-
 src/cdrom.c    |    2 +-
 src/clock.c    |   36 +++++++++++++++++++++---
 src/ps2port.c  |    2 +-
 src/serial.c   |   37 ++++---------------------
 src/stacks.c   |   83 +++++++++++++++++++++++++++++++++++++++++++++++++-------
 src/usb-ehci.c |   10 +++---
 src/usb-hub.c  |    4 +-
 src/usb-ohci.c |    8 +++---
 src/usb-uhci.c |    6 ++--
 src/util.c     |   54 ++----------------------------------
 src/util.h     |   20 +++++--------
 14 files changed, 144 insertions(+), 130 deletions(-)