Home
last modified time | relevance | path

Searched refs:pv_tsc_khz (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kernel/
Dpvclock.c36 u64 pv_tsc_khz = 1000000ULL << 32; in pvclock_tsc_khz() local
38 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()
40 pv_tsc_khz <<= -src->tsc_shift; in pvclock_tsc_khz()
42 pv_tsc_khz >>= src->tsc_shift; in pvclock_tsc_khz()
43 return pv_tsc_khz; in pvclock_tsc_khz()