On 30.09.2020 09:35, Paul Durrant wrote:
>> From: Xen-devel <[email protected]> On Behalf Of Jan 
>> Beulich
>> Sent: 28 September 2020 12:02
>>
>> Both evtchn->priority and evtchn->notify_vcpu_id could, prior to recent
>> locking adjustments, change behind the back of
>> evtchn_fifo_set_pending(). Neither the queue's priority nor the vCPU's
>> vcpu_id fields have similar properties, so they seem better suited for
>> the purpose. In particular they reflect the respective evtchn fields'
>> values at the time they were used to determine queue and vCPU.
>>
>> Signed-off-by: Jan Beulich <[email protected]>
> 
> I think these changes make the code clearer anyway.
> 
> Reviewed-by: Paul Durrant <[email protected]>

Thanks. With the change of description in the earlier patch, and with
this one possibly going in ahead of it, I'll massage the description
here somewhat, I guess.

Jan

Reply via email to