From: kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Date: Thu, 31 Aug 2006 21:53:46 +0000 (+0100)
Subject: [XEN] Use vcpu_info pointer in vcpu structure.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15673^2~14
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1a251c6632c6a5643ccdcffc3414fde38c60722d;p=xen.git

[XEN] Use vcpu_info pointer in vcpu structure.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
---

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index 7ead025e18..6191af3ef3 100644
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -676,7 +676,7 @@ static inline void __update_vcpu_system_time(struct vcpu *v)
     struct vcpu_time_info *u;
 
     t = &this_cpu(cpu_time);
-    u = &v->domain->shared_info->vcpu_info[v->vcpu_id].time;
+    u = &v->vcpu_info->time;
 
     version_update_begin(&u->version);
 
@@ -690,7 +690,7 @@ static inline void __update_vcpu_system_time(struct vcpu *v)
 
 void update_vcpu_system_time(struct vcpu *v)
 {
-    if ( v->domain->shared_info->vcpu_info[v->vcpu_id].time.tsc_timestamp != 
+    if ( v->vcpu_info->time.tsc_timestamp !=
          this_cpu(cpu_time).local_tsc_stamp )
         __update_vcpu_system_time(v);
 }