|
@@ -33,6 +33,15 @@
|
|
|
|
|
|
#include <asm/hw_irq.h>
|
|
#include <asm/hw_irq.h>
|
|
|
|
|
|
|
|
+#if defined(CONFIG_RTC_DRV_CMOS) || defined(CONFIG_RTC_DRV_CMOS_MODULE)
|
|
|
|
+/* this needs a better home */
|
|
|
|
+DEFINE_SPINLOCK(rtc_lock);
|
|
|
|
+
|
|
|
|
+#ifdef CONFIG_RTC_DRV_CMOS_MODULE
|
|
|
|
+EXPORT_SYMBOL(rtc_lock);
|
|
|
|
+#endif
|
|
|
|
+#endif /* pc-style 'CMOS' RTC support */
|
|
|
|
+
|
|
#ifdef CONFIG_SMP
|
|
#ifdef CONFIG_SMP
|
|
extern void smp_local_timer_interrupt(void);
|
|
extern void smp_local_timer_interrupt(void);
|
|
#endif
|
|
#endif
|