Hello, Guest walk was currently checking for _PAGE_PSE_PAT flag in guest_l2e_get_flags(). The problem is that this function only checks for the first 12 bits of the PDE, while _PAGE_PSE_PAT is actually on bit 12 (that is the 13th bit). This caused _PAGE_PAT bit to never been set on splintered L1s. Fix attached. Signed-off-by: Gianluca Guida <gianluca.guida@eu.citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel