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 @@
  * 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
 /*