cpu_khz_old       892 arch/x86/kernel/tsc.c 	unsigned long cpu_khz_old = cpu_khz;
cpu_khz_old       904 arch/x86/kernel/tsc.c 						    cpu_khz_old, cpu_khz);