evtchn/fifo: use stable fields when recording "last queue" information
authorJan Beulich <jbeulich@suse.com>
Tue, 20 Oct 2020 12:42:52 +0000 (14:42 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 20 Oct 2020 12:42:52 +0000 (14:42 +0200)
commit8d148003fdf7bd9e28137e6683ef46902af39146
tree2a365f962f3af3cc7cdffe381fd2b8bf13832cbc
parent0521dc918eb196b6479da35a4d0311d829fb0aca
evtchn/fifo: use stable fields when recording "last queue" information

Both evtchn->priority and evtchn->notify_vcpu_id could change behind the
back of evtchn_fifo_set_pending(), as for it - in the case of
interdomain channels - only the remote side's per-channel lock is held.
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 <jbeulich@suse.com>
Reviewed-by: Julien Grall <jgrall@amazon.com>
Reviewed-by: Paul Durrant <paul@xen.org>
master commit: 6f6f07b64cbe90e54f8e62b4d6f2404cf5306536
master date: 2020-10-02 08:37:35 +0200
xen/common/event_fifo.c