On 08/08/2016 10:09 AM, Jan Beulich wrote: >> The reserved bits look the same on all supported families --- bits >> 63:42, 39:36, 21 and 19. Except apparently on family 12h bit 19 is MBZ. > Isn't MBZ == reserved for all practical purposes?
My understanding is that when something is MBZ we know we shouldn't write 1 there. Reserved can be either 1 or 0 --- that's what my system may have with bit 19 set. (Although it's also possible that POST or BIOS are sloppy). -boris > In any event the > patch is fine then afaic. > > Jan > _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
