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.