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  }