--- arch/x86/include/asm/tsc.h

+++ arch/x86/include/asm/tsc.h

@@ -59,5 +59,7 @@ extern void check_tsc_sync_source(int cp

extern void check_tsc_sync_target(void);

extern int notsc_setup(char *);

+extern void save_sched_clock_state(void);

+extern void restore_sched_clock_state(void);

#endif /* _ASM_X86_TSC_H */