[xen staging-4.12] evtchn/FIFO: add 2nd smp_rmb() to evtchn_fifo_word_from_port()

[patchbot@xxxxxxx]

commit 2186c16b25402c8165d7e41ee5656bd4f94f4d6b
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Tue Dec 15 14:31:56 2020 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue Dec 15 14:31:56 2020 +0100

    evtchn/FIFO: add 2nd smp_rmb() to evtchn_fifo_word_from_port()
    
    Besides with add_page_to_event_array() the function also needs to
    synchronize with evtchn_fifo_init_control() setting both d->evtchn_fifo
    and (subsequently) d->evtchn_port_ops.
    
    This is XSA-359 / CVE-2020-29571.
    
    Reported-by: Julien Grall <jgrall@xxxxxxxxxx>
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Reviewed-by: Julien Grall <jgrall@xxxxxxxxxx>
    master commit: dc8b01affd7f6f36d34c3854f51df0847df3ec0e
    master date: 2020-12-15 13:42:51 +0100
---
 xen/common/event_fifo.c | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/xen/common/event_fifo.c b/xen/common/event_fifo.c
index 742ca31449..afbc8d21da 100644
--- a/xen/common/event_fifo.c
+++ b/xen/common/event_fifo.c
@@ -34,6 +34,13 @@ static inline event_word_t *evtchn_fifo_word_from_port(const 
struct domain *d,
 {
     unsigned int p, w;
 
+    /*
+     * Callers aren't required to hold d->event_lock, so we need to synchronize
+     * with evtchn_fifo_init_control() setting d->evtchn_port_ops /after/
+     * d->evtchn_fifo.
+     */
+    smp_rmb();
+
     if ( unlikely(port >= d->evtchn_fifo->num_evtchns) )
         return NULL;
 
@@ -597,6 +604,10 @@ int evtchn_fifo_init_control(struct evtchn_init_control 
*init_control)
         if ( rc < 0 )
             goto error;
 
+        /*
+         * This call, as a side effect, synchronizes with
+         * evtchn_fifo_word_from_port().
+         */
         rc = map_control_block(v, gfn, offset);
         if ( rc < 0 )
             goto error;
--
generated by git-patchbot for /home/xen/git/xen.git#staging-4.12