diff --git a/drivers/clocksource/i8253.c b/drivers/clocksource/i8253.c
index 39288c1dbd29..e594f52eb88e 100644
--- a/drivers/clocksource/i8253.c
+++ b/drivers/clocksource/i8253.c
@@ -16,9 +16,7 @@
  * 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
 /*