ia64/xen-unstable

changeset 11399:9b2c574a9afc

[XEN] Use vcpu_info pointer in vcpu structure.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Aug 31 22:53:46 2006 +0100 (2006-08-31)
parents 63e3321fb16a
children 358eacd440f1
files xen/arch/x86/time.c
line diff
     1.1 --- a/xen/arch/x86/time.c	Thu Aug 31 22:29:23 2006 +0100
     1.2 +++ b/xen/arch/x86/time.c	Thu Aug 31 22:53:46 2006 +0100
     1.3 @@ -676,7 +676,7 @@ static inline void __update_vcpu_system_
     1.4      struct vcpu_time_info *u;
     1.5  
     1.6      t = &this_cpu(cpu_time);
     1.7 -    u = &v->domain->shared_info->vcpu_info[v->vcpu_id].time;
     1.8 +    u = &v->vcpu_info->time;
     1.9  
    1.10      version_update_begin(&u->version);
    1.11  
    1.12 @@ -690,7 +690,7 @@ static inline void __update_vcpu_system_
    1.13  
    1.14  void update_vcpu_system_time(struct vcpu *v)
    1.15  {
    1.16 -    if ( v->domain->shared_info->vcpu_info[v->vcpu_id].time.tsc_timestamp != 
    1.17 +    if ( v->vcpu_info->time.tsc_timestamp !=
    1.18           this_cpu(cpu_time).local_tsc_stamp )
    1.19          __update_vcpu_system_time(v);
    1.20  }