Searched refs:pv_tsc_khz (Results 1 – 1 of 1) sorted by relevance
40 u64 pv_tsc_khz = 1000000ULL << 32; in pvclock_tsc_khz() local42 do_div(pv_tsc_khz, src->tsc_to_system_mul); in pvclock_tsc_khz()44 pv_tsc_khz <<= -src->tsc_shift; in pvclock_tsc_khz()46 pv_tsc_khz >>= src->tsc_shift; in pvclock_tsc_khz()47 return pv_tsc_khz; in pvclock_tsc_khz()
