|
@@ -99,14 +99,14 @@ static unsigned pvclock_get_time_values(struct pvclock_shadow_time *dst,
|
|
|
|
|
|
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src)
|
|
unsigned long pvclock_tsc_khz(struct pvclock_vcpu_time_info *src)
|
|
{
|
|
{
|
|
- u64 tsc_khz = 1000000ULL << 32;
|
|
|
|
|
|
+ u64 pv_tsc_khz = 1000000ULL << 32;
|
|
|
|
|
|
- do_div(tsc_khz, src->tsc_to_system_mul);
|
|
|
|
|
|
+ do_div(pv_tsc_khz, src->tsc_to_system_mul);
|
|
if (src->tsc_shift < 0)
|
|
if (src->tsc_shift < 0)
|
|
- tsc_khz <<= -src->tsc_shift;
|
|
|
|
|
|
+ pv_tsc_khz <<= -src->tsc_shift;
|
|
else
|
|
else
|
|
- tsc_khz >>= src->tsc_shift;
|
|
|
|
- return tsc_khz;
|
|
|
|
|
|
+ pv_tsc_khz >>= src->tsc_shift;
|
|
|
|
+ return pv_tsc_khz;
|
|
}
|
|
}
|
|
|
|
|
|
cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)
|
|
cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src)
|