The read-write unlock paths don't contain a memory barrier. On Arm, this means a processor is allowed to re-order the memory access with the preceding ones. Reference: https://xenbits.xen.org/xsa/advisory-314.html
Created xen tracking bugs for this issue: Affects: fedora-all [bug 1823784]