check_tsc_sync_target   62 arch/x86/include/asm/tsc.h extern void check_tsc_sync_target(void);
check_tsc_sync_target  238 arch/x86/kernel/smpboot.c 	check_tsc_sync_target();