TSC_DIVISOR
wrmsrq(MSR_IA32_TSC_DEADLINE, tsc + (((u64) delta) * TSC_DIVISOR));
tsc_khz * (1000 / TSC_DIVISOR),
clockevents_update_freq(levt, tsc_khz * (1000 / TSC_DIVISOR));