On 05/03/2019 13:25, Jan Beulich wrote: > With "pcid=no-xpti" and opposite XPTI settings in two 64-bit PV domains > (achievable with one of "xpti=no-dom0" or "xpti=no-domu"), switching > from a PCID-disabled to a PCID-enabled 64-bit PV domain fails to set > CR4.PCIDE in time, as CR4.PGE would not be set in either (see > pv_guest_cr4_to_real_cr4(), in particular as used by write_ptbase()),
This is stale with XSA-293 in place, and is now pv_fixup_guest_cr4() > and hence the early CR4 write would be skipped. > > Signed-off-by: Jan Beulich <jbeul...@suse.com> Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> Also +1 for fixing in 4.12 ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
