TSC_DIVISOR       476 arch/x86/kernel/apic/apic.c 	wrmsrl(MSR_IA32_TSC_DEADLINE, tsc + (((u64) delta) * TSC_DIVISOR));
TSC_DIVISOR       665 arch/x86/kernel/apic/apic.c 						tsc_khz * (1000 / TSC_DIVISOR),
TSC_DIVISOR       682 arch/x86/kernel/apic/apic.c 	clockevents_update_freq(levt, tsc_khz * (1000 / TSC_DIVISOR));