Lines Matching refs:tsc
1327 u64 tsc = pvclock_scale_delta(kernel_ns-vcpu->arch.this_tsc_nsec, in compute_guest_tsc() local
1330 tsc += vcpu->arch.this_tsc_write; in compute_guest_tsc()
1331 return tsc; in compute_guest_tsc()
1378 static inline u64 __scale_tsc(u64 ratio, u64 tsc) in __scale_tsc() argument
1380 return mul_u64_u64_shr(tsc, ratio, kvm_tsc_scaling_ratio_frac_bits); in __scale_tsc()
1383 u64 kvm_scale_tsc(struct kvm_vcpu *vcpu, u64 tsc) in kvm_scale_tsc() argument
1385 u64 _tsc = tsc; in kvm_scale_tsc()
1389 _tsc = __scale_tsc(ratio, tsc); in kvm_scale_tsc()
1397 u64 tsc; in kvm_compute_tsc_offset() local
1399 tsc = kvm_scale_tsc(vcpu, rdtsc()); in kvm_compute_tsc_offset()
1401 return target_tsc - tsc; in kvm_compute_tsc_offset()
1760 u64 tsc = compute_guest_tsc(v, kernel_ns); in kvm_guest_time_update() local
1761 if (tsc > tsc_timestamp) { in kvm_guest_time_update()
1762 adjust_tsc_offset_guest(v, tsc - tsc_timestamp); in kvm_guest_time_update()
1763 tsc_timestamp = tsc; in kvm_guest_time_update()