Lines Matching refs:tsc_shift
543 if ( info->tsc_shift < 0 ) in xen_timer_cpu_frequency()
544 freq <<= -info->tsc_shift; in xen_timer_cpu_frequency()
546 freq >>= info->tsc_shift; in xen_timer_cpu_frequency()
566 .shift = info->tsc_shift, in read_cycle()
1054 _u.tsc_shift = d->arch.vtsc_to_ns.shift; in __update_vcpu_system_time()
1062 _u.tsc_shift = d->arch.vtsc_to_ns.shift; in __update_vcpu_system_time()
1068 _u.tsc_shift = t->tsc_scale.shift; in __update_vcpu_system_time()
1229 int tsc_shift = 0; in local_time_calibration() local
1307 tsc_shift--; in local_time_calibration()
1319 tsc_shift++; in local_time_calibration()
1328 error_factor, calibration_mul_frac, tsc_shift); in local_time_calibration()
1334 t->tsc_scale.shift = tsc_shift; in local_time_calibration()