|
@@ -1333,6 +1333,8 @@ static int __init init_tsc_clocksource(void)
|
|
* the refined calibration and directly register it as a clocksource.
|
|
* the refined calibration and directly register it as a clocksource.
|
|
*/
|
|
*/
|
|
if (boot_cpu_has(X86_FEATURE_TSC_KNOWN_FREQ)) {
|
|
if (boot_cpu_has(X86_FEATURE_TSC_KNOWN_FREQ)) {
|
|
|
|
+ if (boot_cpu_has(X86_FEATURE_ART))
|
|
|
|
+ art_related_clocksource = &clocksource_tsc;
|
|
clocksource_register_khz(&clocksource_tsc, tsc_khz);
|
|
clocksource_register_khz(&clocksource_tsc, tsc_khz);
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|