|
@@ -12,9 +12,9 @@ unsigned long native_calibrate_tsc(void);
|
|
|
|
|
|
#ifdef CONFIG_X86_32
|
|
#ifdef CONFIG_X86_32
|
|
extern int timer_ack;
|
|
extern int timer_ack;
|
|
-extern int recalibrate_cpu_khz(void);
|
|
|
|
extern irqreturn_t timer_interrupt(int irq, void *dev_id);
|
|
extern irqreturn_t timer_interrupt(int irq, void *dev_id);
|
|
#endif /* CONFIG_X86_32 */
|
|
#endif /* CONFIG_X86_32 */
|
|
|
|
+extern int recalibrate_cpu_khz(void);
|
|
|
|
|
|
extern int no_timer_check;
|
|
extern int no_timer_check;
|
|
|
|
|