>>> On 14.09.17 at 14:58, <wei.l...@citrix.com> wrote: > --- a/xen/arch/x86/pv/mm.h > +++ b/xen/arch/x86/pv/mm.h > @@ -18,4 +18,69 @@ static inline l1_pgentry_t guest_get_eff_l1e(unsigned long > linear) > return l1e; > } > > +/* > + * PTE updates can be done with ordinary writes except: > + * 1. Debug builds get extra checking by using CMPXCHG[8B]. > + */ > +#if !defined(NDEBUG)
#ifdef > +#define PTE_UPDATE_WITH_CMPXCHG #else #undef now that it sits in a header, to be on the safe side. With that Acked-by: Jan Beulich <jbeul...@suse.com> Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel