Re: [Xen-devel] [PATCH] xen/time: fix system_time for vtsc=1 PV guests

2016-04-22 Thread Stefano Stabellini
On Fri, 22 Apr 2016, Jan Beulich wrote: > >>> On 22.04.16 at 12:08, wrote: > > On Fri, 22 Apr 2016, Jan Beulich wrote: > >> >>> On 21.04.16 at 15:29, wrote: > >> > --- a/xen/arch/x86/time.c > >> > +++ b/xen/arch/x86/time.c > >> > @@ -784,7 +784,7 @@ static void __update_vcpu_system_time(struct vc

Re: [Xen-devel] [PATCH] xen/time: fix system_time for vtsc=1 PV guests

2016-04-22 Thread Jan Beulich
>>> On 22.04.16 at 12:08, wrote: > On Fri, 22 Apr 2016, Jan Beulich wrote: >> >>> On 21.04.16 at 15:29, wrote: >> > --- a/xen/arch/x86/time.c >> > +++ b/xen/arch/x86/time.c >> > @@ -784,7 +784,7 @@ static void __update_vcpu_system_time(struct vcpu *v, > int force) >> > struct cpu_time

Re: [Xen-devel] [PATCH] xen/time: fix system_time for vtsc=1 PV guests

2016-04-22 Thread Stefano Stabellini
On Fri, 22 Apr 2016, Jan Beulich wrote: > >>> On 21.04.16 at 15:29, wrote: > > --- a/xen/arch/x86/time.c > > +++ b/xen/arch/x86/time.c > > @@ -784,7 +784,7 @@ static void __update_vcpu_system_time(struct vcpu *v, > > int force) > > struct cpu_time *t; > > struct vcpu_time_info *u,

Re: [Xen-devel] [PATCH] xen/time: fix system_time for vtsc=1 PV guests

2016-04-22 Thread Jan Beulich
>>> On 21.04.16 at 15:29, wrote: > --- a/xen/arch/x86/time.c > +++ b/xen/arch/x86/time.c > @@ -784,7 +784,7 @@ static void __update_vcpu_system_time(struct vcpu *v, int > force) > struct cpu_time *t; > struct vcpu_time_info *u, _u = {}; > struct domain *d = v->domain; > -