Searched refs:cur_tsc_generation (Results 1 – 2 of 2) sorted by relevance
1243 u64 cur_tsc_generation;1233 u64 cur_tsc_generation; global() member
1356 kvm->arch.cur_tsc_generation++;1361 } else if (vcpu->arch.this_tsc_generation != kvm->arch.cur_tsc_generation) { in read_tsc() 1366 vcpu->arch.this_tsc_generation = kvm->arch.cur_tsc_generation; in read_tsc()