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 e594f52eb88..39288c1dbd2 100644 --- a/drivers/clocksource/i8253.c +++ b/drivers/clocksource/i8253.c @@ -16,7 +16,9 @@ * 0061-0061 : NMI Control Register which contains two speaker control bits. */ DEFINE_RAW_SPINLOCK(i8253_lock); +#ifdef CONFIG_PCSPKR_PLATFORM EXPORT_SYMBOL(i8253_lock); +#endif #ifdef CONFIG_CLKSRC_I8253 /* |