vdso: set enable bit of pvti_msr

2016-04-11 22:07:51 +09:00
parent 89943dc5ba
commit 2a1823d52c
1 changed files with 2 additions and 1 deletions
--- a/arch/x86/kernel/cpu.c
+++ b/arch/x86/kernel/cpu.c
@ -1672,7 +1672,8 @@ void arch_start_pvclock(void)

 	cpu = ihk_mc_get_processor_id();
 	phys = virt_to_phys(&pvti[cpu]);
-	wrmsr(pvti_msr, phys);
+#define KVM_SYSTEM_TIME_ENABLE 0x1
+	wrmsr(pvti_msr, phys|KVM_SYSTEM_TIME_ENABLE);
 	dkprintf("arch_start_pvclock(): ok\n");
 	return;
 } /* arch_start_pvclock() */