check_tsc_sync_source 1021 arch/x86/kernel/smpboot.c 	check_tsc_sync_source(cpu);
check_tsc_sync_source   57 include/asm-x86/tsc.h extern void check_tsc_sync_source(int cpu);