tsc_save_sched_clock_state   71 arch/x86/include/asm/tsc.h extern void tsc_save_sched_clock_state(void);
tsc_save_sched_clock_state  121 arch/x86/kernel/x86_init.c 	.save_sched_clock_state 	= tsc_save_sched_clock_state,