|
@@ -479,6 +479,10 @@ static void __init xen_time_init(void)
|
|
int cpu = smp_processor_id();
|
|
int cpu = smp_processor_id();
|
|
struct timespec tp;
|
|
struct timespec tp;
|
|
|
|
|
|
|
|
+ /* As Dom0 is never moved, no penalty on using TSC there */
|
|
|
|
+ if (xen_initial_domain())
|
|
|
|
+ xen_clocksource.rating = 275;
|
|
|
|
+
|
|
clocksource_register_hz(&xen_clocksource, NSEC_PER_SEC);
|
|
clocksource_register_hz(&xen_clocksource, NSEC_PER_SEC);
|
|
|
|
|
|
if (HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, cpu, NULL) == 0) {
|
|
if (HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, cpu, NULL) == 0) {
|