|
@@ -120,8 +120,7 @@ void __init time_init(void)
|
|
|
|
|
|
cpu_khz = tsc_khz;
|
|
cpu_khz = tsc_khz;
|
|
if (cpu_has(&boot_cpu_data, X86_FEATURE_CONSTANT_TSC) &&
|
|
if (cpu_has(&boot_cpu_data, X86_FEATURE_CONSTANT_TSC) &&
|
|
- boot_cpu_data.x86_vendor == X86_VENDOR_AMD &&
|
|
|
|
- boot_cpu_data.x86 == 16)
|
|
|
|
|
|
+ (boot_cpu_data.x86_vendor == X86_VENDOR_AMD))
|
|
cpu_khz = calculate_cpu_khz();
|
|
cpu_khz = calculate_cpu_khz();
|
|
|
|
|
|
if (unsynchronized_tsc())
|
|
if (unsynchronized_tsc())
|