Lines Matching refs:last_host_tsc
5029 s64 tsc_delta = !vcpu->arch.last_host_tsc ? 0 :
5030 rdtsc() - vcpu->arch.last_host_tsc;
5125 vcpu->arch.last_host_tsc = rdtsc();
12485 if (stable && vcpu->arch.last_host_tsc > local_tsc) {
12487 if (vcpu->arch.last_host_tsc > max_tsc)
12488 max_tsc = vcpu->arch.last_host_tsc;
12510 * reset last_host_tsc, so VCPUs will not have the TSC adjusted and may
12516 * why we set last_host_tsc to the local tsc observed here.
12523 * as we reset last_host_tsc on all VCPUs to stop this from being
12537 vcpu->arch.last_host_tsc = local_tsc;