diff options
-rw-r--r-- | drivers/clocksource/i8253.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/drivers/clocksource/i8253.c b/drivers/clocksource/i8253.c index e594f52eb88e..39288c1dbd29 100644 --- a/drivers/clocksource/i8253.c +++ b/drivers/clocksource/i8253.c | |||
@@ -16,7 +16,9 @@ | |||
16 | * 0061-0061 : NMI Control Register which contains two speaker control bits. | 16 | * 0061-0061 : NMI Control Register which contains two speaker control bits. |
17 | */ | 17 | */ |
18 | DEFINE_RAW_SPINLOCK(i8253_lock); | 18 | DEFINE_RAW_SPINLOCK(i8253_lock); |
19 | #ifdef CONFIG_PCSPKR_PLATFORM | ||
19 | EXPORT_SYMBOL(i8253_lock); | 20 | EXPORT_SYMBOL(i8253_lock); |
21 | #endif | ||
20 | 22 | ||
21 | #ifdef CONFIG_CLKSRC_I8253 | 23 | #ifdef CONFIG_CLKSRC_I8253 |
22 | /* | 24 | /* |