Re: [Xen-devel] [PATCH v6 5/9] xen/x86: disable global pages for domains with XPTI active

2018-04-10 Thread Jan Beulich
>>> On 10.04.18 at 09:58, 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

[Xen-devel] [PATCH v6 5/9] xen/x86: disable global pages for domains with XPTI active

2018-04-10 Thread Juergen Gross
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