Lines Matching refs:cpu_khz
45 unsigned long __read_mostly cpu_khz; /* CPU clock frequency in kHz. */ variable
1419 check_tsc_warp(cpu_khz, &tsc_max_warp); in tsc_check_slave()
1435 check_tsc_warp(cpu_khz, &tsc_max_warp); in tsc_check_reliability()
1810 cpu_khz = (unsigned long)tmp; in early_time_init()
1812 cpu_khz / 1000, cpu_khz % 1000); in early_time_init()
2096 *gtsc_khz = enable_tsc_scaling ? d->arch.tsc_khz : cpu_khz; in tsc_get_info()
2102 *gtsc_khz = cpu_khz; in tsc_get_info()
2144 d->arch.tsc_khz = gtsc_khz ?: cpu_khz; in tsc_set_info()
2155 (d->arch.tsc_khz == cpu_khz || in tsc_set_info()
2170 hvm_get_tsc_scaling_ratio(gtsc_khz ?: cpu_khz); in tsc_set_info()
2171 d->arch.tsc_khz = (enable_tsc_scaling && gtsc_khz) ? gtsc_khz : cpu_khz; in tsc_set_info()