get_page_light()'s use of cmpxchg() is a full barrier already anyway.
Signed-off-by: Jan Beulich <jbeul...@suse.com>
--- a/xen/arch/x86/mm.c
+++ b/xen/arch/x86/mm.c
@@ -2746,7 +2746,7 @@ static int _put_final_page_type(struct p
else
{
BUG_ON(rc != -ERESTART);
- smp_wmb();
+ /* get_page_light() includes a full barrier. */
get_page_light(page);
page->u.inuse.type_info |= PGT_partial;
}
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
