|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
xen-devel
[Xen-devel] odd vcpu_info accesses in xen/arch/x86/time.c
 
Is there a particular reason why in several places in this file, with a vcpu 
pointer
at hand, the vcpu_info is accessed through
        v->domain->shared_info->vcpu_info[v->vcpu_id]
rather than
        v->vcpu_info
Thanks, Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
 |   
 
| <Prev in Thread] | 
Current Thread | 
[Next in Thread>
 |  
- [Xen-devel] odd vcpu_info accesses in xen/arch/x86/time.c,
Jan Beulich <=
 
 
 |  
  
 | 
    | 
  
  
    |   | 
    |