summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/drivers/pc80/pc/Kconfig5
-rw-r--r--src/drivers/pc80/pc/i8254.c18
2 files changed, 0 insertions, 23 deletions
diff --git a/src/drivers/pc80/pc/Kconfig b/src/drivers/pc80/pc/Kconfig
index 06e6568f71..68138575ba 100644
--- a/src/drivers/pc80/pc/Kconfig
+++ b/src/drivers/pc80/pc/Kconfig
@@ -18,9 +18,4 @@ config DRIVERS_PS2_KEYBOARD
this option, then you can say N here to speed up boot time.
Otherwise say Y.
-# This option is used in code but never selected.
-config UDELAY_TIMER2
- bool
- default n
-
endif
diff --git a/src/drivers/pc80/pc/i8254.c b/src/drivers/pc80/pc/i8254.c
index 654f84a6d7..5090f0c85b 100644
--- a/src/drivers/pc80/pc/i8254.c
+++ b/src/drivers/pc80/pc/i8254.c
@@ -32,24 +32,6 @@ void setup_i8254(void)
outb(0x12, TIMER1_PORT);
}
-#if CONFIG(UDELAY_TIMER2)
-static void load_timer2(unsigned int ticks)
-{
- /* Set up the timer gate, turn off the speaker */
- outb((inb(PPC_PORTB) & ~PPCB_SPKR) | PPCB_T2GATE, PPC_PORTB);
- outb(TIMER2_SEL | WORD_ACCESS | MODE0 | BINARY_COUNT, TIMER_MODE_PORT);
- outb(ticks & 0xFF, TIMER2_PORT);
- outb(ticks >> 8, TIMER2_PORT);
-}
-
-void udelay(int usecs)
-{
- load_timer2((usecs * TICKS_PER_MS) / 1000);
- while ((inb(PPC_PORTB) & PPCB_T2OUT) == 0)
- ;
-}
-#endif
-
#define CLOCK_TICK_RATE 1193180U /* Underlying HZ */
/* ------ Calibrate the TSC -------