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

2018-03-27 Thread Jan Beulich
>>> On 27.03.18 at 10:44, wrote: > On 27/03/18 10:33, Jan Beulich wrote: > On 27.03.18 at 09:37, wrote: >>> On 27/03/18 09:23, Jan Beulich wrote: >>> On 27.03.18 at 09:14, wrote: > I just realized that using read_cr4() | X86_CR4_PGE

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

2018-03-27 Thread Juergen Gross
On 27/03/18 10:33, Jan Beulich wrote: On 27.03.18 at 09:37, wrote: >> On 27/03/18 09:23, Jan Beulich wrote: >> On 27.03.18 at 09:14, wrote: On 22/03/18 17:30, Jan Beulich wrote: On 21.03.18 at 13:51, wrote: >> Instead

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

2018-03-27 Thread Jan Beulich
>>> On 27.03.18 at 09:37, wrote: > On 27/03/18 09:23, Jan Beulich wrote: > On 27.03.18 at 09:14, wrote: >>> On 22/03/18 17:30, Jan Beulich wrote: >>> On 21.03.18 at 13:51, wrote: > Instead of flushing the TLB from global pages when

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

2018-03-27 Thread Juergen Gross
On 27/03/18 09:23, Jan Beulich wrote: On 27.03.18 at 09:14, wrote: >> On 22/03/18 17:30, Jan Beulich wrote: >> On 21.03.18 at 13:51, wrote: Instead of flushing the TLB from global pages when switching address spaces with XPTI being active just

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

2018-03-27 Thread Jan Beulich
>>> On 27.03.18 at 09:14, wrote: > On 22/03/18 17:30, Jan Beulich wrote: > On 21.03.18 at 13:51, wrote: >>> Instead of flushing the TLB from global pages when switching address >>> spaces with XPTI being active just disable global pages via %cr4 >>>

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

2018-03-27 Thread Juergen Gross
On 22/03/18 17:30, Jan Beulich wrote: On 21.03.18 at 13:51, 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

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

2018-03-23 Thread Jan Beulich
>>> On 23.03.18 at 09:29, wrote: > On 23/03/18 09:14, Jan Beulich wrote: > On 23.03.18 at 08:58, wrote: >>> On 23/03/18 08:46, Jan Beulich wrote: >>> On 22.03.18 at 19:18, wrote: > On 22/03/18 17:30, Jan Beulich wrote: > On

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

2018-03-23 Thread Jan Beulich
>>> On 23.03.18 at 08:58, wrote: > On 23/03/18 08:46, Jan Beulich wrote: > On 22.03.18 at 19:18, wrote: >>> On 22/03/18 17:30, Jan Beulich wrote: >>> On 21.03.18 at 13:51, wrote: > Instead of flushing the TLB from global pages when

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

2018-03-23 Thread Juergen Gross
On 23/03/18 09:14, Jan Beulich wrote: On 23.03.18 at 08:58, wrote: >> On 23/03/18 08:46, Jan Beulich wrote: >> On 22.03.18 at 19:18, wrote: On 22/03/18 17:30, Jan Beulich wrote: On 21.03.18 at 13:51, wrote: >> Instead

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

2018-03-23 Thread Jan Beulich
>>> On 22.03.18 at 19:18, wrote: > On 22/03/18 17:30, Jan Beulich wrote: > On 21.03.18 at 13:51, wrote: >>> Instead of flushing the TLB from global pages when switching address >>> spaces with XPTI being active just disable global pages via %cr4 >>>

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

2018-03-23 Thread Juergen Gross
On 23/03/18 08:46, Jan Beulich wrote: On 22.03.18 at 19:18, wrote: >> On 22/03/18 17:30, Jan Beulich wrote: >> On 21.03.18 at 13:51, wrote: Instead of flushing the TLB from global pages when switching address spaces with XPTI being active just

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

2018-03-22 Thread Juergen Gross
On 22/03/18 17:30, Jan Beulich wrote: On 21.03.18 at 13:51, 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

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

2018-03-22 Thread Jan Beulich
>>> On 21.03.18 at 13:51, 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 v3 5/7] xen/x86: disable global pages for domains with XPTI active

2018-03-21 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