tsc has also it's own header file. Nuke the stupid 64 bit ifdef
while at it.
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
extern unsigned long table_start, table_end;
extern int exception_trace;
-extern unsigned cpu_khz;
-extern unsigned tsc_khz;
extern int reboot_force;
-extern int notsc_setup(char *);
extern int gsi_irq_sharing(int gsi);
extern void check_tsc_sync_source(int cpu);
extern void check_tsc_sync_target(void);
-#ifdef CONFIG_X86_64
extern void tsc_calibrate(void);
-#endif
+extern int notsc_setup(char *);
#endif