>>> On 27.03.18 at 11:07, <jgr...@suse.com> wrote: > Instead of flushing the TLB from global pages when switching address > spaces with XPTI being active just disable global pages via %cr4 > completely when a domain subject to XPTI is active. This avoids the > need for extra TLB flushes as loading %cr3 will remove all TLB > entries. > > In order to avoid states with cr3/cr4 having inconsistent values > (e.g. global pages being activated while cr3 already specifies a XPTI > address space) move loading of the new cr4 value to write_ptbase() > (actually to write_cr3_cr4() called by write_ptbase()). > > Signed-off-by: Juergen Gross <jgr...@suse.com>
Reviewed-by: Jan Beulich <jbeul...@suse.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
