check_tsc_sync_source   61 arch/x86/include/asm/tsc.h extern void check_tsc_sync_source(int cpu);
check_tsc_sync_source 1191 arch/x86/kernel/smpboot.c 	check_tsc_sync_source(cpu);