From 89943dc5bafd75ba59b582fc2e1e83fdc49c2fa0 Mon Sep 17 00:00:00 2001
From: NAKAMURA Gou <go.nakamura.yw@hitachi-solutions.com>
Date: Mon, 11 Apr 2016 22:05:31 +0900
Subject: [PATCH] vdso: set physical address at pvti_msr

---
 arch/x86/kernel/cpu.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arch/x86/kernel/cpu.c b/arch/x86/kernel/cpu.c
index 1b55775c..827c53c8 100644
--- a/arch/x86/kernel/cpu.c
+++ b/arch/x86/kernel/cpu.c
@@ -1662,6 +1662,7 @@ int arch_setup_pvclock(void)
 void arch_start_pvclock(void)
 {
 	int cpu;
+	intptr_t phys;
 
 	dkprintf("arch_start_pvclock()\n");
 	if (!pvti) {
@@ -1670,7 +1671,8 @@ void arch_start_pvclock(void)
 	}
 
 	cpu = ihk_mc_get_processor_id();
-	wrmsr(pvti_msr,(intptr_t)&pvti[cpu]);
+	phys = virt_to_phys(&pvti[cpu]);
+	wrmsr(pvti_msr, phys);
 	dkprintf("arch_start_pvclock(): ok\n");
 	return;
 } /* arch_start_pvclock() */