From 2a1823d52c0d90f1c39aef761cf6b0e272282cef Mon Sep 17 00:00:00 2001 From: NAKAMURA Gou Date: Mon, 11 Apr 2016 22:07:51 +0900 Subject: [PATCH] vdso: set enable bit of pvti_msr --- arch/x86/kernel/cpu.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/arch/x86/kernel/cpu.c b/arch/x86/kernel/cpu.c index 827c53c8..3b244779 100644 --- 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() */