Searched refs:pv_tsc_khz (Results 1 – 1 of 1) sorted by relevance
36 u64 pv_tsc_khz = 1000000ULL << 32; in pvclock_tsc_khz() local38 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()