Home
last modified time | relevance | path

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

/kernel/linux/linux-5.10/arch/x86/kernel/
Dpvclock.c29 u64 pv_tsc_khz = 1000000ULL << 32; in pvclock_tsc_khz() local
31 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()
33 pv_tsc_khz <<= -src->tsc_shift; in pvclock_tsc_khz()
35 pv_tsc_khz >>= src->tsc_shift; in pvclock_tsc_khz()
36 return pv_tsc_khz; in pvclock_tsc_khz()