On 20/12/2019 14:20, Jan Beulich wrote: > get_page_light()'s use of cmpxchg() is a full barrier already anyway. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
While true, is this actually a clever change to make? The implementation of get_page_light() could plausibly change and no longer be a full barrier, introducing a vulnerability here. OTOH, smp_wmb() is free. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
