Searched refs:cur_tsc_generation (Results 1 – 2 of 2) sorted by relevance
595 u64 cur_tsc_generation; member
1339 already_matched = (vcpu->arch.this_tsc_generation == kvm->arch.cur_tsc_generation); in kvm_write_tsc()1350 kvm->arch.cur_tsc_generation++; in kvm_write_tsc()1356 kvm->arch.cur_tsc_generation, data); in kvm_write_tsc()1370 vcpu->arch.this_tsc_generation = kvm->arch.cur_tsc_generation; in kvm_write_tsc()