|
@@ -24,6 +24,7 @@
|
|
#include <linux/percpu.h>
|
|
#include <linux/percpu.h>
|
|
#include <linux/hardirq.h>
|
|
#include <linux/hardirq.h>
|
|
#include <linux/memblock.h>
|
|
#include <linux/memblock.h>
|
|
|
|
+#include <linux/sched.h>
|
|
|
|
|
|
#include <asm/x86_init.h>
|
|
#include <asm/x86_init.h>
|
|
#include <asm/reboot.h>
|
|
#include <asm/reboot.h>
|
|
@@ -265,6 +266,8 @@ void __init kvmclock_init(void)
|
|
|
|
|
|
if (kvm_para_has_feature(KVM_FEATURE_CLOCKSOURCE_STABLE_BIT))
|
|
if (kvm_para_has_feature(KVM_FEATURE_CLOCKSOURCE_STABLE_BIT))
|
|
pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);
|
|
pvclock_set_flags(PVCLOCK_TSC_STABLE_BIT);
|
|
|
|
+
|
|
|
|
+ set_sched_clock_stable();
|
|
}
|
|
}
|
|
|
|
|
|
int __init kvm_setup_vsyscall_timeinfo(void)
|
|
int __init kvm_setup_vsyscall_timeinfo(void)
|