[PATCH kernel-4.19 22/84] xen/events: Fix race in set_evtchn_to_irq