> From: Andrew Cooper [mailto:andrew.coop...@citrix.com] > Sent: Tuesday, August 28, 2018 9:12 PM > > + valid_mask = ((1ULL << v->domain->arch.cpuid->extd.maxphysaddr) - > 1) & > > + (PAGE_MASK | _PAGE_AVAIL | _PAGE_PRESENT); > > How did you come across this list? The only valid bits are Present, PWT > and PCD, while the upper nibble of control bits is documented as ignored > rather than reserved.
Agree that PWT/PCD should be added to mask too. _PAGE_AVAIL is right here standing for ignored bits. Thanks Kevin _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel