Searched refs:last_boosted_vcpu (Results 1 – 2 of 2) sorted by relevance
818 int last_boosted_vcpu; member
3994 start = READ_ONCE(kvm->last_boosted_vcpu) + 1; in kvm_vcpu_on_spin()4022 WRITE_ONCE(kvm->last_boosted_vcpu, idx); in kvm_vcpu_on_spin()