Hi Juergen, On Wed, Feb 14, 2018 at 10:45:53AM +0100, Juergen Gross wrote: > On 09/02/18 10:25, Joerg Roedel wrote: > > +#ifdef CONFIG_X86_PAE > > + > > +/* > > + * PHYSICAL_PAGE_MASK might be non-constant when SME is compiled in, so we > > can't > > + * use it here. > > + */ > > +#define PGD_PAE_PHYS_MASK (((1ULL << __PHYSICAL_MASK_SHIFT)-1) & > > PAGE_MASK) > > I think PAGE_MASK is a 32 bit value here, so you are chopping off > the high physical address bits. > > With that corrected the kernel is coming up as Xen PV guest.
Cool, thanks for testing these patches and debugging the breakage on Xen-PV. I'll fix that in the next version. Thanks again, Joerg