Re: [Xen-devel] [PATCH v4 7/7] xen/x86: use PCID feature

2018-04-04 Thread Juergen Gross
On 03/04/18 09:14, Juergen Gross wrote: > On 29/03/18 17:37, Jan Beulich wrote: > On 29.03.18 at 17:15, wrote: >>> On 29/03/18 16:19, Jan Beulich wrote: >>> On 27.03.18 at 11:07, wrote: > @@ -102,7 +103,21 @@ void write_cr3_cr4(unsigned long cr3, unsigned long > cr4) > t

Re: [Xen-devel] [PATCH v4 7/7] xen/x86: use PCID feature

2018-04-03 Thread Juergen Gross
On 29/03/18 17:37, Jan Beulich wrote: On 29.03.18 at 17:15, wrote: >> On 29/03/18 16:19, Jan Beulich wrote: >> On 27.03.18 at 11:07, wrote: @@ -102,7 +103,21 @@ void write_cr3_cr4(unsigned long cr3, unsigned long cr4) t = pre_flush(); if ( read_cr4()

Re: [Xen-devel] [PATCH v4 7/7] xen/x86: use PCID feature

2018-03-29 Thread Jan Beulich
>>> On 29.03.18 at 17:15, wrote: > On 29/03/18 16:19, Jan Beulich wrote: > On 27.03.18 at 11:07, wrote: >>> @@ -102,7 +103,21 @@ void write_cr3_cr4(unsigned long cr3, unsigned long >>> cr4) >>> t = pre_flush(); >>> >>> if ( read_cr4() & X86_CR4_PGE ) >>> +/* >>> +

Re: [Xen-devel] [PATCH v4 7/7] xen/x86: use PCID feature

2018-03-29 Thread Juergen Gross
On 29/03/18 16:19, Jan Beulich wrote: On 27.03.18 at 11:07, wrote: >> --- a/xen/arch/x86/domain_page.c >> +++ b/xen/arch/x86/domain_page.c >> @@ -51,7 +51,7 @@ static inline struct vcpu *mapcache_current_vcpu(void) >> if ( (v = idle_vcpu[smp_processor_id()]) == current ) >>

Re: [Xen-devel] [PATCH v4 7/7] xen/x86: use PCID feature

2018-03-29 Thread Jan Beulich
>>> On 27.03.18 at 11:07, wrote: > --- a/xen/arch/x86/domain_page.c > +++ b/xen/arch/x86/domain_page.c > @@ -51,7 +51,7 @@ static inline struct vcpu *mapcache_current_vcpu(void) > if ( (v = idle_vcpu[smp_processor_id()]) == current ) > sync_local_execstate(); > /* We