On 05/03/2019 14: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()), > and hence the early CR4 write would be skipped. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Release-acked-by: Juergen Gross <jgr...@suse.com> Juergen _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
