diff options
| -rw-r--r-- | src/drivers/pc80/i8254.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/pc80/i8254.c b/src/drivers/pc80/i8254.c index f75216da47..ca993f494c 100644 --- a/src/drivers/pc80/i8254.c +++ b/src/drivers/pc80/i8254.c @@ -35,7 +35,7 @@ void setup_i8254(void) outb(0x12, TIMER1_PORT); } -#if defined(CONFIG_UDELAY_TIMER2) && CONFIG_UDELAY_TIMER2 +#if CONFIG_UDELAY_TIMER2 static void load_timer2(unsigned int ticks) { /* Set up the timer gate, turn off the speaker */ |