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