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