Searched refs:cur_tsc_generation (Results 1 – 2 of 2) sorted by relevance
1322 u64 cur_tsc_generation; member
2654 kvm->arch.cur_tsc_generation++; in __kvm_synchronize_tsc()2659 } else if (vcpu->arch.this_tsc_generation != kvm->arch.cur_tsc_generation) { in __kvm_synchronize_tsc()2664 vcpu->arch.this_tsc_generation = kvm->arch.cur_tsc_generation; in __kvm_synchronize_tsc()
Completed in 31 milliseconds