|
@@ -50,8 +50,8 @@ static unsigned long kvm_get_wallclock(void)
|
|
struct timespec ts;
|
|
struct timespec ts;
|
|
int low, high;
|
|
int low, high;
|
|
|
|
|
|
- low = (int)__pa(&wall_clock);
|
|
|
|
- high = ((u64)__pa(&wall_clock) >> 32);
|
|
|
|
|
|
+ low = (int)__pa_symbol(&wall_clock);
|
|
|
|
+ high = ((u64)__pa_symbol(&wall_clock) >> 32);
|
|
native_write_msr(MSR_KVM_WALL_CLOCK, low, high);
|
|
native_write_msr(MSR_KVM_WALL_CLOCK, low, high);
|
|
|
|
|
|
vcpu_time = &get_cpu_var(hv_clock);
|
|
vcpu_time = &get_cpu_var(hv_clock);
|