[Xen-devel] odd vcpu_info accesses in xen/arch/x86/time.c

["Jan Beulich" <jbeulich@xxxxxxxxxx>]

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