pv_tsc_khz         29 arch/x86/kernel/pvclock.c 	u64 pv_tsc_khz = 1000000ULL << 32;
pv_tsc_khz         31 arch/x86/kernel/pvclock.c 	do_div(pv_tsc_khz, src->tsc_to_system_mul);
pv_tsc_khz         33 arch/x86/kernel/pvclock.c 		pv_tsc_khz <<= -src->tsc_shift;
pv_tsc_khz         35 arch/x86/kernel/pvclock.c 		pv_tsc_khz >>= src->tsc_shift;
pv_tsc_khz         36 arch/x86/kernel/pvclock.c 	return pv_tsc_khz;