On 15/04/2023 8:58 pm, Andrew Cooper wrote: > diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c > index 36a07ef77eae..1707bcd2d15c 100644 > --- a/xen/arch/x86/mm.c > +++ b/xen/arch/x86/mm.c > @@ -5879,6 +5879,77 @@ int destroy_xen_mappings(unsigned long s, unsigned > long e) > return modify_xen_mappings(s, e, _PAGE_NONE); > } > > +#if defined(CONFIG_LIVEPATCH) && defined(CONFIG_HAS_ALTERNATIVE)
Gitlab testing highlighted that this should be || not &&. I've fixed up locally, but won't repost just for this change. ~Andrew
