x86/kvm/x86.c

2580 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc)
2583 		kvm_scale_tsc(host_tsc, vcpu->arch.l1_tsc_scaling_ratio);
3121 		if (kvm_get_walltime_and_clockread(&ts, &data->host_tsc)) {
3126 		data->host_tsc = rdtsc();
3134 		data->clock = __pvclock_read_cycles(&hv_clock, data->host_tsc);
3222 	u64 tsc_timestamp, host_tsc;
3237 	host_tsc = 0;
3247 			host_tsc = ka->master_cycle_now;
3261 		host_tsc = rdtsc();
3265 	tsc_timestamp = kvm_read_l1_tsc(v, host_tsc);
3353 	uint64_t host_tsc;
3371 		    !kvm_get_walltime_and_clockread(&ts, &host_tsc))
3397 			__pvclock_read_cycles(&hv_clock, host_tsc);