check_tsc_sync_target  307 arch/x86/kernel/smpboot.c 	check_tsc_sync_target();
check_tsc_sync_target   58 include/asm-x86/tsc.h extern void check_tsc_sync_target(void);