Merge branch 'master' into queue
[cascardo/linux.git] / arch / x86 / kernel / kvmclock.c
index b730efa..d2c3812 100644 (file)
@@ -166,8 +166,8 @@ int kvm_register_clock(char *txt)
                return 0;
 
        src = &hv_clock[cpu].pvti;
-       low = (int)__pa(src) | 1;
-       high = ((u64)__pa(src) >> 32);
+       low = (int)slow_virt_to_phys(src) | 1;
+       high = ((u64)slow_virt_to_phys(src) >> 32);
        ret = native_write_msr_safe(msr_kvm_system_time, low, high);
        printk(KERN_INFO "kvm-clock: cpu %d, msr %x:%x, %s\n",
               cpu, high, low, txt);