tsc_restore_sched_clock_state   72 arch/x86/include/asm/tsc.h extern void tsc_restore_sched_clock_state(void);
tsc_restore_sched_clock_state  122 arch/x86/kernel/x86_init.c 	.restore_sched_clock_state 	= tsc_restore_sched_clock_state,